py-taliro · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

Py-TaLiRo is the Python interface for TP/DP-TaLiRo.

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

It provides:

A robust interface to the C libraries of TP/DP-TaLiRo
Euclidean distance robustness computations
Hybrid Automata (HA) representations as graphs
Hybrid distance robustness computations

Project details

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

0.2.1

Apr 15, 2022

0.2.0

Mar 12, 2022

0.1.1

Jan 25, 2022

0.1.0

Jan 19, 2022

Download files

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

Source Distribution

py-taliro-0.2.1.zip (117.3 kB view hashes)

Uploaded Apr 15, 2022 Source

Built Distributions

py_taliro-0.2.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (421.8 kB view hashes)

Uploaded Apr 15, 2022 CPython 3.10 manylinux: glibc 2.17+ x86-64

py_taliro-0.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (411.9 kB view hashes)

Uploaded Apr 15, 2022 CPython 3.9 manylinux: glibc 2.17+ x86-64

py_taliro-0.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (413.6 kB view hashes)

Uploaded Apr 15, 2022 CPython 3.8 manylinux: glibc 2.17+ x86-64

Hashes for py-taliro-0.2.1.zip

Hashes for py-taliro-0.2.1.zip
Algorithm	Hash digest
SHA256	`7b3c4c7ca1293983f452b5de40615daaf710694704781969e2b8ce240bf5f01c`
MD5	`34de88a7f80c8b1ffae89df734c9fc48`
BLAKE2b-256	`9bf79e4269aa50daceba96f1e78ce6338aa45f73757b999f6666056074dbe97e`

Hashes for py_taliro-0.2.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for py_taliro-0.2.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`c6c40589a3124992f2320b64612f524330dcc0410e4f1afc7bc8e020620cd438`
MD5	`76d83919adb1efa039f1bdc9f9768b70`
BLAKE2b-256	`042d05d5bfbf99765bae8c50c885d4f123b99de422b1bdb2ebc563475128e389`

Hashes for py_taliro-0.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for py_taliro-0.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`076afdad25477e8ff19eacbee40c9a151275d39df59d8d3d04e0b5c267e309bb`
MD5	`c7120c8ec06df6ec021f77bf013cbebf`
BLAKE2b-256	`08cf789668d53fcad9fb6cb1f854ac2c1ec0a8625b8df7e2769ef47f75adb1f8`

Hashes for py_taliro-0.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for py_taliro-0.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`bbebe006ab7fda67fe98402076e5b7e6e9c8b991979bd29adc921e38b0dd1336`
MD5	`7625dd4271aef3bcb7d2a0b919bc3cd4`
BLAKE2b-256	`6c47199706d1f5592c80712ce172e3a815ea0bd4e2bd5fd7de4dfd21fb357b92`

Supported by

AWS

AWS Cloud computing and Security Sponsor

Datadog

Datadog Monitoring

Fastly

Google

Google Download Analytics

Microsoft

Microsoft PSF Sponsor

Pingdom

Pingdom Monitoring

Sentry

Sentry Error logging

StatusPage

StatusPage Status page