Factual package intelligence from PyPI

solverpy 2.1.1 package intelligence

Python interface for Automated Reasoning (AR) solvers, provers, and checkers.

pip install solverpy

Current version
2.1.1
Python requirement
>=3.10
License
GNU General Public License v3 (GPLv3)
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
242.3 KiB
Release history
9 releases with files
Median release cadence
78 days

solverpy dependencies

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

  1. PyYAML
  2. Requests
  3. tqdm

Compatibility and release files

solverpy publishes 1 wheel and 1 source archive for version 2.1.1. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

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