Metadata-Version: 2.1
Name: model-checker
Version: 0.2.9
Summary: A hyperintensional model checker for counterfactual conditionals
Author-email: Benjamin Brast-McKie <benbrastmckie@gmail.com>, Miguel Buitrago <mbuit82@gmail.com>
License: MIT
Project-URL: Homepage, https://github.com/benbrastmckie/ModelChecker
Project-URL: Issues, https://github.com/benbrastmckie/ModelChecker/issues
Keywords: semantics,Z3,counterfactuals,model checker,theorem prover
Classifier: Programming Language :: Python :: 3.8
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Description-Content-Type: text/markdown
License-File: LICENCE
Requires-Dist: z3-solver

# Model Checker

This project aims to develop tools for proving theorems and finding countermodels for counterfactual conditional and modal claims.

## Installation

Install [Python 3](https://www.python.org/downloads/) and run the following commands in the terminal:

```
pip install z3-solver
pip install model-checker
```

## Examples

To generate a test file run `model-checker`.
Alternatively, run `model-checker path/to/test_file.py` if `test_file.py` already exists.
The `examples.py` file contains a number of valid and invalid arguments that can be tested.

## GitHub

More information can be found in the GitHub [repository](https://github.com/benbrastmckie/ModelChecker).
