Issues

• Relative import error when running model-checker on submodule examples.py files

  benbrastmckie/ModelChecker#76 · Filter by author benbrastmckie opened on Sep 25, 2025

• NameError: name 'sys' is not defined when running generated project example

  benbrastmckie/ModelChecker#75 · Filter by author benbrastmckie opened on Sep 22, 2025

• FileNotFoundError when upgrading model-checker: 'pip' command not found

  benbrastmckie/ModelChecker#74 · Filter by author benbrastmckie opened on Sep 22, 2025
  1

• ModuleNotFoundError when running model-checker with example on macOS

  benbrastmckie/ModelChecker#73 · Filter by author benbrastmckie opened on Sep 22, 2025

• Exclusion Data

  benbrastmckie/ModelChecker#72 · Filter by author benbrastmckie opened on Jul 22, 2025

• Bimodal Z3 Semantics

  benbrastmckie/ModelChecker#70 · Filter by author benbrastmckie opened on May 8, 2025
  1

• Next and Previous Operators

  benbrastmckie/ModelChecker#69 · Filter by author BaileyFernandez opened on May 6, 2025
  7

• Improve Documentation for Building New Theories

  benbrastmckie/ModelChecker#68 · Filter by author benbrastmckie opened on May 3, 2025
  2

• Give model-checker a model, and have it tell you if it's good?

  benbrastmckie/ModelChecker#67 · Filter by author mbuit82 opened on Apr 28, 2025
  1

• Option for requiring non-world verifiers and falsifiers?

  benbrastmckie/ModelChecker#66 · Filter by author mbuit82 opened on Apr 28, 2025
  4

• Iterator

  benbrastmckie/ModelChecker#65 · Filter by author benbrastmckie opened on Apr 18, 2025
  2

• Printing method(s) for ML_CM_1

  benbrastmckie/ModelChecker#63 · Filter by author mbuit82 opened on Apr 13, 2025
  1

• Pathological excluders

  benbrastmckie/ModelChecker#62 · Filter by author benbrastmckie opened on Feb 28, 2025
  1

• Jupyter Notebook

  benbrastmckie/ModelChecker#61 · Filter by author benbrastmckie opened on Feb 25, 2025
  9

• Identity operator for Champollion semantics

  benbrastmckie/ModelChecker#58 · Filter by author mbuit82 opened on Dec 7, 2024
  1

• Benchmark Derived Operators

  benbrastmckie/ModelChecker#45 · Filter by author benbrastmckie opened on Oct 11, 2024
  5

• Z3 ceiling and the methodology of programatic semantics

  benbrastmckie/ModelChecker#40 · Filter by author benbrastmckie opened on Oct 4, 2024

• Counterfactual Importation

  benbrastmckie/ModelChecker#35 · Filter by author benbrastmckie opened on Jul 29, 2024