Skip to main content
Pre-release

This release is a pre-release and may not be stable for production use.

STLmc

STLmc is an SMT-based bounded model checker for signal temporal logic (STL) of hybrid systems. The algorithm of the tool is refutationally complete for STL properties of bounded signals.

For more information about STLmc, please visit our website

Features

  • Bounded model checking
  • Generating trajectories that falsify the given STL properties if any exists
  • Supporting various SMT solvers (e.g., Z3, Yices2, dReal3)

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

stlmc-1.0.1.dev2-cp312-cp312-manylinux1_x86_64.manylinux_2_5_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.5+ x86-64

stlmc-1.0.1.dev2-cp312-cp312-macosx_26_0_arm64.whl (3.2 MB view details)

Uploaded CPython 3.12macOS 26.0+ ARM64

stlmc-1.0.1.dev2-cp311-cp311-manylinux1_x86_64.manylinux_2_5_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.5+ x86-64

stlmc-1.0.1.dev2-cp311-cp311-macosx_26_0_arm64.whl (3.2 MB view details)

Uploaded CPython 3.11macOS 26.0+ ARM64

stlmc-1.0.1.dev2-cp310-cp310-manylinux1_x86_64.manylinux_2_5_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.5+ x86-64

stlmc-1.0.1.dev2-cp310-cp310-macosx_26_0_arm64.whl (3.2 MB view details)

Uploaded CPython 3.10macOS 26.0+ ARM64

stlmc-1.0.1.dev2-cp39-cp39-manylinux1_x86_64.manylinux_2_5_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.5+ x86-64

stlmc-1.0.1.dev2-cp39-cp39-macosx_26_0_arm64.whl (3.2 MB view details)

Uploaded CPython 3.9macOS 26.0+ ARM64

stlmc-1.0.1.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.5+ x86-64

stlmc-1.0.1.dev2-cp38-cp38-macosx_26_0_arm64.whl (3.2 MB view details)

Uploaded CPython 3.8macOS 26.0+ ARM64

File details

Details for the file stlmc-1.0.1.dev2-cp312-cp312-manylinux1_x86_64.manylinux_2_5_x86_64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp312-cp312-manylinux1_x86_64.manylinux_2_5_x86_64.whl
Algorithm Hash digest
SHA256 d57edff277e572557aaef13f76d7fdfdab02a43bfd9025d553115f52f709c5e3
MD5 6967ed5bc804f8045a6697ff04995be4
BLAKE2b-256 f145106e0713f6b566028e8fae8df19868801b1eaf551cc05517280869326d13

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp312-cp312-manylinux1_x86_64.manylinux_2_5_x86_64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp312-cp312-macosx_26_0_arm64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp312-cp312-macosx_26_0_arm64.whl
Algorithm Hash digest
SHA256 f88ad251a3b77aa14413de4c534ff4bdf8bde0238a47a3c223db0795e682c62e
MD5 30891be757636a80c943515a65f60270
BLAKE2b-256 3a5c49bb7b54eab79e3b6a9db78dc0cf4e5283d931a43976e8913534cbe1b1a9

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp312-cp312-macosx_26_0_arm64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp311-cp311-manylinux1_x86_64.manylinux_2_5_x86_64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp311-cp311-manylinux1_x86_64.manylinux_2_5_x86_64.whl
Algorithm Hash digest
SHA256 0a23133e2b649ee78f1210d9e36e1ee4b8e7cf2f7acdfb7bda53a83a0dbfe16b
MD5 a5d4aeae75252678caa78cde82567c07
BLAKE2b-256 c8fd2537f91c6a908df7bae8f5c5843acad8eaf5a6405981101a653bc5b7c357

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp311-cp311-manylinux1_x86_64.manylinux_2_5_x86_64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp311-cp311-macosx_26_0_arm64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp311-cp311-macosx_26_0_arm64.whl
Algorithm Hash digest
SHA256 7cd709b9a1e05be80c1d0c3142e19b28e8caf49e07ff5e673be5e1804e11e362
MD5 e063b46f612f1d60606d740bbdbee181
BLAKE2b-256 73b5e8bb65646a65f960b58b411988a540a6f1635311246cc0e455c38ee82c1f

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp311-cp311-macosx_26_0_arm64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp310-cp310-manylinux1_x86_64.manylinux_2_5_x86_64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp310-cp310-manylinux1_x86_64.manylinux_2_5_x86_64.whl
Algorithm Hash digest
SHA256 1d4da2207d5720ae293fa883536b582f85753812c710e39b28174869df289a8a
MD5 6e77a2fdf477e8fe48ef7cc026853ae0
BLAKE2b-256 c0dd44f4b8d350a0a97e41a1e923bee03d837c75364b31ce127085099c11ac55

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp310-cp310-manylinux1_x86_64.manylinux_2_5_x86_64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp310-cp310-macosx_26_0_arm64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp310-cp310-macosx_26_0_arm64.whl
Algorithm Hash digest
SHA256 6e6545eba47e28072a3d1d767332ed337ae22ff14e29e34aabc1e4e60f98c7a5
MD5 802ab9e289f2842d6635f2b34adff399
BLAKE2b-256 cfe5efa30981c0783b41c5c5758a45fc01041468773793725b10d230cdc239b0

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp310-cp310-macosx_26_0_arm64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp39-cp39-manylinux1_x86_64.manylinux_2_5_x86_64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp39-cp39-manylinux1_x86_64.manylinux_2_5_x86_64.whl
Algorithm Hash digest
SHA256 5eb10ffc5d58fbd10f41548012f9209c68f078b62f9acc6cb696d2514281d467
MD5 d8401c6700ecaef0cd763fefd5667a22
BLAKE2b-256 cd2e0eb87fcfdac779abe60a9c03fd2864cf6c17067296b5436c7fe04013362c

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp39-cp39-manylinux1_x86_64.manylinux_2_5_x86_64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp39-cp39-macosx_26_0_arm64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp39-cp39-macosx_26_0_arm64.whl
Algorithm Hash digest
SHA256 53938a0ff1ab4b17c2b4f3c2bde17ace7a19e50570688861cde8c0801a698733
MD5 e1c62ddb6411738d9ef88afc4d0086f1
BLAKE2b-256 0f199d4cfd7c0d8bbdfa41b5e9e3017f7389986d0a59af1eb9aa5f684711be81

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp39-cp39-macosx_26_0_arm64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 ded441a8bcae5af7e76a1ee7371ef7dd5459789799bcccdb58b9266170169a80
MD5 2aaace72c778bd280df71c2735b395fd
BLAKE2b-256 4509794a7e3c2dd89bd319b2d65a4bd74743f3bb7124a10a70531c8854144047

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file stlmc-1.0.1.dev2-cp38-cp38-macosx_26_0_arm64.whl.

File metadata

File hashes

Hashes for stlmc-1.0.1.dev2-cp38-cp38-macosx_26_0_arm64.whl
Algorithm Hash digest
SHA256 114d2bc0832c92f2a2f28a76f38339ac51305e90809c8fb79a6dfdfde9088919
MD5 a6318a8965b05714a4faf208f7f65fef
BLAKE2b-256 75c71a4ecad8eceaf0432b0f639d1255af2698aae6b072fffc7c266e48c2080b

See more details on using hashes here.

Provenance

The following attestation bundles were made for stlmc-1.0.1.dev2-cp38-cp38-macosx_26_0_arm64.whl:

Publisher: release.yml on stlmc/stlmc

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page