Factual package intelligence from PyPI

model-checker 1.2.12 package intelligence

A hyperintensional theorem prover for developing and and exploring programmatic semantic theories.

pip install model-checker

Current version
1.2.12
Python requirement
>=3.8
License
GPL-3.0-or-later
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
2.1 MiB
Release history
188 releases with files
Median release cadence
0 days

model-checker dependencies

PyPI declares 12 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. z3-solver >=4.8.0
  2. networkx >=2.0

Compatibility and release files

model-checker publishes 1 wheel and 1 source archive for version 1.2.12. Wheel platform tags: any.

Declared Python classifiers: 3.8.

Release activity and sources

PyPI lists 188 releases with files. The first dated release is ; 121 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .