model-checker 0.2.14

A hyperintensional model checker for counterfactual conditionals

Model Checker

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

Installation

Install Python 3 and run the following commands in the terminal:

pip install model-checker

The package has z3-solver as a dependency.

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.