Factual package intelligence from PyPI

idp-solver 0.7.3 package intelligence

IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.

pip install idp-solver

Current version
0.7.3
Python requirement
>=3.7,<4.0
License
GNU LGPL 3
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
109.9 KiB
Release history
7 releases with files
Median release cadence
7 days

idp-solver dependencies

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

  1. Click >=7.0,<8.0
  2. textX >=2.1.0,<3.0.0
  3. z3-solver ==4.8.8.0
  4. pretty-errors >=1.2.19,<2.0.0
  5. sphinxcontrib-mermaid ==0.6.3

Compatibility and release files

idp-solver publishes 1 wheel and 1 source archive for version 0.7.3. Wheel platform tags: any.

Declared Python classifiers: 3.7, 3.8, 3.9.

Release activity and sources

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