model-checker
A hyperintensional theorem prover for developing and and exploring programmatic semantic theories.
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install model-checker
Dependencies
Releases
| Version | Released | Bullseye Python 3.9 |
Bookworm Python 3.11 |
Trixie Python 3.13 |
Files |
|---|---|---|---|---|---|
| 1.2.12 | 2025-11-05 | ||||
| 1.2.11 | 2025-09-30 | ||||
| 1.2.10 | 2025-09-25 | ||||
| 1.2.9 | 2025-09-25 | ||||
| 1.2.8 | 2025-09-25 | ||||
| 1.2.4 | 2025-09-24 | ||||
| 1.2.3 | 2025-09-22 | ||||
| 1.2.2 | 2025-09-22 | ||||
| 1.2.1 | 2025-09-22 | ||||
| 1.2.0 | 2025-09-22 | ||||
| 1.1.5 | 2025-09-22 | ||||
| 1.1.4 | 2025-09-22 | ||||
| 1.1.3 | 2025-09-22 | ||||
| 1.1.2 | 2025-09-22 | ||||
| 1.1.1 | 2025-09-22 | ||||
| 1.1.0 | 2025-09-18 | ||||
| 1.0.3 | 2025-09-16 | ||||
| 1.0.2 | 2025-09-16 | ||||
| 1.0.1 | 2025-09-12 | ||||
| 1.0.0 | 2025-08-16 | ||||
|
|||||
| 0.9.41 | 2025-08-15 | ||||
| 0.9.40 | 2025-08-14 | ||||
| 0.9.39 | 2025-08-14 | ||||
| 0.9.38 | 2025-08-14 | ||||
| 0.9.37 | 2025-08-14 | ||||
| 0.9.36 | 2025-08-06 | ||||
| 0.9.35 | 2025-08-02 | ||||
| 0.9.34 | 2025-07-30 | ||||
| 0.9.33 | 2025-07-27 | ||||
| 0.9.31 | 2025-07-26 | ||||
| 0.9.30 | 2025-07-26 | ||||
|
|||||
| 0.9.29 | 2025-07-24 | ||||
| 0.9.28 | 2025-07-23 | ||||
| 0.9.27 | 2025-07-23 | ||||
| 0.9.26 | 2025-06-19 | ||||
| 0.9.25 | 2025-06-19 | ||||
| 0.9.24 | 2025-06-18 | ||||
| 0.9.23 | 2025-06-18 | ||||
| 0.9.21 | 2025-06-09 | ||||
| 0.9.20 | 2025-05-06 | ||||
| 0.9.19 | 2025-05-03 | ||||
| 0.9.18 | 2025-04-22 | ||||
| 0.9.17 | 2025-04-18 | ||||
| 0.9.16 | 2025-04-15 | ||||
| 0.9.15 | 2025-04-15 | ||||
| 0.9.14 | 2025-04-15 | ||||
| 0.9.13 | 2025-04-15 | ||||
| 0.9.12 | 2025-04-15 | ||||
| 0.9.11 | 2025-04-14 | ||||
| 0.9.10 | 2025-04-14 | ||||
| 0.9.9 | 2025-04-14 | ||||
|
|||||
| 0.9.8 | 2025-04-14 | ||||
|
|||||
| 0.9.6 | 2025-04-14 | ||||
|
|||||
| 0.9.4 | 2025-04-12 | ||||
|
|||||
| 0.9.3 | 2025-04-11 | ||||
|
|||||
| 0.9.2 | 2025-04-11 | ||||
|
|||||
| 0.9.1 | 2025-04-11 | ||||
|
|||||
| 0.8.39 | 2025-04-11 | ||||
| 0.8.38 | 2025-04-11 | ||||
| 0.8.35 | 2025-04-11 | ||||
| 0.8.32 | 2025-04-11 | ||||
| 0.8.31 | 2025-04-11 | ||||
| 0.8.30 | 2025-04-11 | ||||
| 0.8.29 | 2025-04-11 | ||||
| 0.8.28 | 2025-04-14 | ||||
| 0.8.27 | 2025-04-11 | ||||
| 0.8.25 | 2025-04-07 | ||||
| 0.8.24 | 2025-04-07 | ||||
| 0.8.23 | 2025-04-07 | ||||
| 0.8.22 | 2025-04-07 | ||||
| 0.8.21 | 2025-04-07 | ||||
| 0.8.20 | 2025-04-05 | ||||
| 0.8.19 | 2025-04-05 | ||||
| 0.8.18 | 2025-04-05 | ||||
| 0.8.14 | 2025-04-04 | ||||
| 0.8.13 | 2025-04-02 | ||||
| 0.8.12 | 2025-04-02 | ||||
| 0.8.9 | 2025-04-01 | ||||
| 0.8.8 | 2025-03-12 | ||||
| 0.8.7 | 2025-03-12 | ||||
| 0.8.6 | 2025-02-28 | ||||
| 0.8.5 | 2025-02-26 | ||||
| 0.8.4 | 2025-02-25 | ||||
| 0.8.3 | 2025-02-25 | ||||
| 0.8.2 | 2025-02-15 | ||||
| 0.8.1 | 2025-02-15 | ||||
| 0.7.18 | 2025-02-15 | ||||
| 0.7.17 | 2025-01-23 | ||||
| 0.7.16 | 2025-01-23 | ||||
| 0.7.15 | 2025-01-22 | ||||
| 0.7.14 | 2025-01-22 | ||||
| 0.7.13 | 2025-01-22 | ||||
| 0.7.12 | 2025-01-22 | ||||
| 0.7.11 | 2025-01-22 | ||||
| 0.7.10 | 2025-01-21 | ||||
| 0.7.9 | 2025-01-21 | ||||
| 0.7.8 | 2025-01-21 | ||||
| 0.7.7 | 2025-01-21 | ||||
| 0.7.6 | 2025-01-21 | ||||
| 0.7.5 | 2025-01-21 | ||||
| 0.7.4 | 2025-01-21 | ||||
| 0.7.3 | 2025-01-14 | ||||
| 0.7.2 | 2025-01-14 | ||||
| 0.7.1 | 2025-01-07 | ||||
| 0.6.17 | 2025-01-07 | ||||
| 0.6.16 | 2025-01-07 | ||||
| 0.6.15 | 2025-01-07 | ||||
| 0.6.14 | 2025-01-07 | ||||
| 0.6.13 | 2025-01-07 | ||||
| 0.6.12 | 2025-01-06 | ||||
| 0.6.11 | 2025-01-06 | ||||
| 0.6.10 | 2025-01-04 | ||||
| 0.6.9 | 2024-12-31 | ||||
| 0.6.8 | 2024-12-31 | ||||
| 0.6.7 | 2024-12-27 | ||||
| 0.6.6 | 2024-12-25 | ||||
| 0.6.5 | 2024-12-25 | ||||
| 0.6.4 | 2024-12-25 | ||||
| 0.6.3 | 2024-12-25 | ||||
| 0.6.2 | 2024-12-25 | ||||
| 0.6.1 | 2024-12-25 | ||||
| 0.5.6 | 2024-07-30 | ||||
| 0.5.5 | 2024-07-29 | ||||
| 0.5.4 | 2024-07-25 | ||||
| 0.5.3 | 2024-07-20 | ||||
| 0.5.2 | 2024-07-19 | ||||
| 0.5.1 | 2024-07-19 | ||||
| 0.4.15 | 2024-07-19 | ||||
| 0.4.14 | 2024-07-18 | ||||
| 0.4.13 | 2024-07-17 | ||||
| 0.4.12 | 2024-07-15 | ||||
| 0.4.11 | 2024-07-15 | ||||
| 0.4.10 | 2024-07-15 | ||||
| 0.4.9 | 2024-06-10 | ||||
| 0.4.8 | 2024-06-07 | ||||
| 0.4.7 | 2024-06-07 | ||||
| 0.4.6 | 2024-05-31 | ||||
| 0.4.5 | 2024-05-28 | ||||
| 0.4.4 | 2024-05-24 | ||||
| 0.4.3 | 2024-05-24 | ||||
| 0.4.2 | 2024-05-23 | ||||
| 0.4.1 | 2024-05-23 | ||||
| 0.3.24 | 2024-05-23 | ||||
| 0.3.23 | 2024-05-23 | ||||
| 0.3.22 | 2024-05-23 | ||||
| 0.3.21 | 2024-05-21 | ||||
| 0.3.20 | 2024-05-21 | ||||
| 0.3.19 | 2024-05-21 | ||||
|
|
|||||
| 0.3.18 | 2024-05-21 | ||||
| 0.3.17 | 2024-05-21 | ||||
| 0.3.16 | 2024-05-21 | ||||
| 0.3.15 | 2024-05-21 | ||||
| 0.3.14 | 2024-05-21 | ||||
| 0.3.13 | 2024-05-21 | ||||
| 0.3.12 | 2024-05-20 | ||||
| 0.3.11 | 2024-05-20 | ||||
| 0.3.10 | 2024-05-20 | ||||
| 0.3.9 | 2024-05-20 | ||||
| 0.3.8 | 2024-05-20 | ||||
| 0.3.7 | 2024-05-20 | ||||
| 0.3.6 | 2024-05-20 | ||||
| 0.3.5 | 2024-05-18 | ||||
| 0.3.4 | 2024-05-18 | ||||
| 0.3.3 | 2024-05-18 | ||||
| 0.3.2 | 2024-05-18 | ||||
| 0.2.21 | 2024-05-12 | ||||
| 0.2.20 | 2024-05-11 | ||||
| 0.2.19 | 2024-05-10 | ||||
| 0.2.18 | 2024-05-10 | ||||
| 0.2.17 | 2024-05-09 | ||||
| 0.2.16 | 2024-05-07 | ||||
| 0.2.15 | 2024-05-07 | ||||
| 0.2.14 | 2024-05-06 | ||||
| 0.2.13 | 2024-05-06 | ||||
| 0.2.12 | 2024-05-06 | ||||
| 0.2.11 | 2024-05-06 | ||||
| 0.2.10 | 2024-05-06 | ||||
| 0.2.9 | 2024-05-06 | ||||
| 0.2.8 | 2024-05-06 | ||||
| 0.2.7 | 2024-05-06 | ||||
| 0.2.6 | 2024-05-06 | ||||
| 0.2.5 | 2024-05-06 | ||||
| 0.2.4 | 2024-05-06 | ||||
| 0.2.3 | 2024-05-06 | ||||
| 0.2.2 | 2024-05-06 | ||||
| 0.2.1 | 2024-05-06 | ||||
| 0.2.0 | 2024-05-06 | ||||
| 0.1 | 2024-04-26 | ||||
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue