Factual package intelligence from PyPI

stlmc 1.0.0.dev3 package intelligence

An SMT-based bounded model checker for signal temporal logic

pip install stlmc

Current version
1.0.0.dev3
Python requirement
>=3.8
License
GPLv3
Distribution type
Includes compiled wheel
Release files
11 (10 wheels, 1 source)
Download size
39.4 MiB
Release history
3 releases with files
Median release cadence
81 days

stlmc dependencies

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

  1. termcolor
  2. yices
  3. z3-solver
  4. antlr4-python3-runtime ==4.13.2
  5. sympy
  6. numpy
  7. bokeh ==3.1.1
  8. scipy

Compatibility and release files

stlmc publishes 10 wheels and 1 source archive for version 1.0.0.dev3. Wheel platform tags: macosx_14_0_arm64, manylinux_2_5_x86_64.manylinux1_x86_64.

No version-specific Python classifiers are declared.

Release activity and sources

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