Factual package intelligence from PyPI
Python implementation of the automatic inequality prover proposed by Valiant & Valiant (https://doi.org/10.1137/151002526)
pip install valiant-valiant-inequality-prover
PyPI declares 0 unique dependency rules for this release. Environment markers are shown when supplied by the project.
This release declares no required runtime dependencies in its PyPI metadata.
valiant-valiant-inequality-prover publishes 1 wheel and 1 source archive for version 1.0.3. Wheel platform tags: any.
No version-specific Python classifiers are declared.
PyPI lists 5 releases with files. The first dated release is ; 5 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .