A hyperintensional model checker for counterfactual conditionals
Project description
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 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.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
model_checker-0.2.5.tar.gz
(23.4 kB
view hashes)
Built Distribution
Close
Hashes for model_checker-0.2.5-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 64434898c8a72ef747ad00c0545e3e44bbccf50a8995a2da0d9fb9c530c5da04 |
|
MD5 | ccaf4cf781efe853449dd8e0b2d6849d |
|
BLAKE2b-256 | e5ad88eb5cfa1a5841f7155fc5d53e765f222e19ab31a1eee6d460751dba0ca5 |