piwheels

stlmc

An SMT-based bounded model checker for signal temporal logic

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install stlmc

Dependencies

• None

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
1.0.0.dev3 pre-release	2025-01-21
stlmc-1.0.0.dev3-cp311-cp311-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev3-cp311-cp311-linux_armv7l.whl (3 MB) stlmc-1.0.0.dev3-cp39-cp39-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev3-cp39-cp39-linux_armv7l.whl (3 MB)
1.0.0.dev2 pre-release	2024-08-14
stlmc-1.0.0.dev2-cp311-cp311-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev2-cp311-cp311-linux_armv7l.whl (3 MB) stlmc-1.0.0.dev2-cp39-cp39-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev2-cp39-cp39-linux_armv7l.whl (3 MB) stlmc-1.0.0.dev2-cp313-cp313-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev2-cp313-cp313-linux_armv7l.whl (3 MB)
1.0.0.dev1 pre-release	2024-08-12
stlmc-1.0.0.dev1-cp311-cp311-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev1-cp311-cp311-linux_armv7l.whl (3 MB) stlmc-1.0.0.dev1-cp39-cp39-linux_armv6l.whl (3 MB) stlmc-1.0.0.dev1-cp39-cp39-linux_armv7l.whl (3 MB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue