Skip to main content

No project description provided

Project description

Argus: Temporal Logic Monitoring Tool

PyPI version

codecov

Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its different semantics.

This library is a direct successor of my signal-temporal-logic tool, and is inspired by the following projects:

  • py-metric-temporal-logic is a tool written in pure Python, and provides an elegant interface for evaluating discrete time signals using Metric Temporal Logic (MTL).
  • RTAMT is a Python library for offline and online monitoring of STL specifications.
  • Breach and S-TaLiRo are Matlab toolboxes designed for falsification and simulation-based testing of cyber-physical systems with STL and MTL specifications, respectively. One of their various features includes the ability to evaluate the robustness of signals against STL/MTL specifications.

The goal of this tool is to provide offline and online monitors for Signal Temporal Logic (STL) and its semantics, focussing on performance and ease of use in controllers (for training and monitoring them).

The project name is inspired from Argus Panoptes.

Project details


Download files

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

Source Distribution

argus_temporal_logic-0.1.4.tar.gz (66.5 kB view details)

Uploaded Source

Built Distributions

argus_temporal_logic-0.1.4-pp310-pypy310_pp73-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded PyPy musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-pp39-pypy39_pp73-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded PyPy musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-pp38-pypy38_pp73-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded PyPy musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp313-cp313-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.13 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.13 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.13 manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.4-cp312-none-win_amd64.whl (566.5 kB view details)

Uploaded CPython 3.12 Windows x86-64

argus_temporal_logic-0.1.4-cp312-cp312-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.12 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.4-cp311-none-win_amd64.whl (567.4 kB view details)

Uploaded CPython 3.11 Windows x86-64

argus_temporal_logic-0.1.4-cp311-cp311-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.4-cp311-cp311-macosx_11_0_arm64.whl (721.0 kB view details)

Uploaded CPython 3.11 macOS 11.0+ ARM64

argus_temporal_logic-0.1.4-cp311-cp311-macosx_10_7_x86_64.whl (775.0 kB view details)

Uploaded CPython 3.11 macOS 10.7+ x86-64

argus_temporal_logic-0.1.4-cp310-none-win_amd64.whl (567.1 kB view details)

Uploaded CPython 3.10 Windows x86-64

argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ x86-64

argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.4-cp310-cp310-macosx_11_0_arm64.whl (721.0 kB view details)

Uploaded CPython 3.10 macOS 11.0+ ARM64

argus_temporal_logic-0.1.4-cp310-cp310-macosx_10_7_x86_64.whl (775.0 kB view details)

Uploaded CPython 3.10 macOS 10.7+ x86-64

argus_temporal_logic-0.1.4-cp39-none-win_amd64.whl (568.0 kB view details)

Uploaded CPython 3.9 Windows x86-64

argus_temporal_logic-0.1.4-cp39-cp39-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.4-cp38-none-win_amd64.whl (567.5 kB view details)

Uploaded CPython 3.8 Windows x86-64

argus_temporal_logic-0.1.4-cp38-cp38-musllinux_1_2_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ ARMv7l

argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ ARM64

File details

Details for the file argus_temporal_logic-0.1.4.tar.gz.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4.tar.gz
Algorithm Hash digest
SHA256 31af981ff9d00e1ad04e8f75c6cab25a9e2bada61e964fccf029db1791f24c98
MD5 50d64ee678d93479f397494a106b8051
BLAKE2b-256 dbfd23de5b66d799791a6be5a5e3de8bac7e7c2bb5477c6b0a7ec18693ed036a

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp310-pypy310_pp73-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp310-pypy310_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 672d50d4e8698bc76c217efa702fe36360a99c6d6ca9beaacb3689ff022b3f8e
MD5 3a2e4036b55fc560cd141538e96636f6
BLAKE2b-256 dacd3e3cdd91879ddf2041c3b28dcc4746a6623d41e9550148929caf2fb49a38

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 036b4bd3deea79173ea99b7ff55b283d87ebeede0a098dc41a7ca174e75aa06c
MD5 6dfb40037ac869d2f0af1c48afe8a712
BLAKE2b-256 5a38e474a7d31785083659ad887a81420b550f24627888cf81a58d7c8663a507

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 fc3f5e8bf0770eb848d9c41177211dc31a306ce3770e8c27271b4e8936041ef0
MD5 c044bf34aa86a07a935ef860fc8f1ea8
BLAKE2b-256 95c881a77eb5d9c2c50bdd026ea51f4704de0c92d01b23a066c3e48a054d8a4a

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 60ee1a06b650338938bb453fcafccb35d969341b66b130e6c48348d37c4ba754
MD5 20f14a243655ef922acc79bd4db29754
BLAKE2b-256 42ce2f506b9bc88637f236197f04e5a0ca7c3801d0178ccd645c6914183236c0

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp39-pypy39_pp73-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp39-pypy39_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 2134aa1f8a7bd91102cedd775333717fd40f4fb27e01fb05c7758081753e5ea8
MD5 a07a60f34c91eab5c434c6fa6bd7a367
BLAKE2b-256 c25e73879d1c86679efb842fa604656317cc9c0e0839efd845340b026d4c7f6e

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4ee22f616f707c6e1a2a8d2737ee53fd99db49957189ffbba399dca91f491dbf
MD5 bab4745a3f7a62fc31a1351ddbb62b4c
BLAKE2b-256 478b061841702edebb96d63f58489126f3853f95e5b1345c77a18134feb790e1

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 8570376c9c02500b0da1b2d939ecdaa217d457f911b5c717884bbfd8bebf3301
MD5 0b93430a8f29c4e59fb08a719138aca1
BLAKE2b-256 123bc0194b0dac0e4f553a35c91a81e71a54c0b4bb547449269a380ce427f30c

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 1c5ccd74757de1142161eb98b775f0741754dcbc555f0c3a5fcd7b0e295a52cc
MD5 e3c03f0d15de3e574c7e7fa62f04b7fa
BLAKE2b-256 7f18c0a45daa8b847fa80363d3fcafdaa660b74fba0d730dd447fc056abda4c1

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp38-pypy38_pp73-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp38-pypy38_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0dad376c4ad52bcf956474cd01a1e25e27273d58dd0399e48995328b61740134
MD5 7e63143c5331817753fb232f5ccbe763
BLAKE2b-256 204bb434b1a9c3b42004e6413bcc54adef4c24cae7ca02a69d1930bb66c3ccaa

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 33015b15588ef3c3ffb316682428e614fa3b2f0234bbb708df150bc910544f8a
MD5 d6b98dd0185f00702cc5cc4e15485a51
BLAKE2b-256 66873d917648193977e49ba3f2d28a9628fcb4c2a5b9a745dcda2f9ec9b9462f

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 d1f9adf5f80dd1c273bdbe37492f2b8ef824c0b5ba29bf1c5bca09b8bce9f705
MD5 4ee9526c52164951ec1715d82d1e6a03
BLAKE2b-256 5ff7959be8ccda25a6e5ddaf27902c7cfec525a0836746499e00082be722395b

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 a2113485147d075bb576a71889fcaba334c056282fe91d875c9f5e54e4b1d6ec
MD5 dbcad5ac9d18abc1d709d16d579c59de
BLAKE2b-256 91009dfb277216439e471ae3c5e5cb192f1d8d0b3e7b75dce1e546e6b7f1b51d

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b951cf0efa7fbfe68e8470f7e97ede55d188ba84787124e3c7f27afda45728bc
MD5 a2bbba1b3398facf3a52601e814d119f
BLAKE2b-256 75d64a7c357fe20d61976656bfc07ba0f393b666e9443cd299e1b3d1f1065138

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 52b33d2bf0654a88af9bc95e947dd092a1a98284f3cf7b640b49908a5cf23d4d
MD5 f940a4e1fa801c4865466fed0daf0146
BLAKE2b-256 3b7e471a7c5797fff04ce32cfe5129d2efd475c6207146e17717596ae20d74da

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 3dbf7d7cb0e66d40e067e3a9e0713488b5004d909d4307b2a2fc52080f5c43d5
MD5 866b63641cf832b11fd4f7625e8a92bf
BLAKE2b-256 74fd6fee98ed871762e52d36fd6f83495bdbc62a4276ecbada1f7ebd69ddac9f

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp312-none-win_amd64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp312-none-win_amd64.whl
Algorithm Hash digest
SHA256 01daf65043d7b4d2934959139d1cd39f99cff6b3a77f87471f31fffc7ebbebde
MD5 6a4490962c001a564b92586a99f814bc
BLAKE2b-256 7a07e8c742819ed44c63521cd6109a4ab13f4e55121561ae1e028c67232861a6

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp312-cp312-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b42a5068c5a19596a4ed82444f21109e60a72de93958f9237d31b0c6c57120ea
MD5 f87b65eab3be8394fcb0310977a8b201
BLAKE2b-256 4b45c11bde13c4526580116c65f4939a11b469340a2bd67411031f2bf945f2cf

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 0547fa387881f7bbe2c3c7fc64a09d2449ee286dfa495dee427f0610542dcb2c
MD5 cd195fc83db5ee31c974027088b85b6f
BLAKE2b-256 2471991d227ee4f42ee739d2681ceb89aabfdb75576f5fb7542bf057af03b5b4

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 6b30fd3cca6185abf2faecbc9fd76fd100db320158e65ad1d4dbfa61c4924440
MD5 44c782fa1108198e186f2cef8d30d08c
BLAKE2b-256 f6346e86bcc840829e750afe3a2ea147b3465f8ff7d0667a3b934bb25a01ef8b

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 4da969acf6af9d588d744303beefff0527acafd58f58eaa35b3d3f0e9314bc36
MD5 a2861bfc11bc3bb4871847e4af75a356
BLAKE2b-256 129d19d6d4a4afef24c1dd54e271a48ae24844cbbfad2afad4e8e8009f01fb99

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-none-win_amd64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-none-win_amd64.whl
Algorithm Hash digest
SHA256 0360fe956fa9fb1d83f3a8c4219289ad807359efb7046c36bbb9eb140fc1e13b
MD5 876af057aa9ba9e81018e39144b80b5a
BLAKE2b-256 e4710de4a303cc762691f8f3c4a2e912b0976fc635cd6fd7ff2f54efd597ea13

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 11c0063bbee5831b54250aca4724400d5e823548b5df269391baca2aa02a476e
MD5 6fb5abd40a8ddae31fd6195f83f6ff99
BLAKE2b-256 b5c4505e16521d4c094da8b9b8a0195eeb504a7ef65dabd60e33892e4254d4fa

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a8555e4abfe7f641348235dadabadefd980795adc6f698f81d7266080b2d8227
MD5 168ebf7bae40ccb5e8e55758c5e8e61e
BLAKE2b-256 dc86b1878815e97077a4cd60ef9353598d83bd9a15e158f5e136d9142307f4b3

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 f89ca9160686b238f1921c5e0d9dee3c8635665c82738bd6d3bca8036f6d8941
MD5 4c7e75b9670691769741de983bafec51
BLAKE2b-256 b85ab3dce3ace9665fc8be82f0b8ccf2506cabedf3fd90ace791b4ed4da50f97

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 2ea1f46cb23f1425bbca6ceb15044a1153843709792c87b93331ed98ecf951bd
MD5 d29216bbeea7ec987ac93fc9d3b1d803
BLAKE2b-256 63090ea0bc261056e847ab9a7496c82f829aef39025e0946b2510ceaa422513b

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3c2bada23741a20e104bb26892f242cc8a02a7c48136f6b498923df033bc2334
MD5 8f69ddb92eac010b0a4ae52483b8d62a
BLAKE2b-256 8f552a39c82249434b43c34ab237ae3fb088e0987818ad62b444f87784de9c84

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp311-cp311-macosx_10_7_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp311-cp311-macosx_10_7_x86_64.whl
Algorithm Hash digest
SHA256 b1030514ae3b3dc0e8149d54418214deca9732fa726e780e8fc8b2a10021b976
MD5 94a21b5d25e03cde508828a2fcc30a75
BLAKE2b-256 dd18ee10f5c20d0b6a9e01c7de6937c781d7911f3559ae44089d7d0e41e44dde

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-none-win_amd64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-none-win_amd64.whl
Algorithm Hash digest
SHA256 dce17b6dc6e518cd449888bcf9cc8dc0dd28b79d61241f735bcd70a12008ecd8
MD5 c69caea20a0b01361e6302f8b5168da8
BLAKE2b-256 121ef590dbf842d718cef41de63fcd94e90312ced50589be8af1ef83465b402a

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 00c59bf1fad5d55780cae001f443b082a3d4173aa171e589ede8d3dc059f20db
MD5 3b3a9a6f857eec874785bcc0abfe04c2
BLAKE2b-256 08013706853003600e7d47f6b1b25335a3ff6a61ead3e8d8c266b44403b51565

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 830b44c31be2d570c4a075599530684f8ee2698e957108a402a66cb4b2f503cd
MD5 ae3a13eb9a8bc7597cc879c411ea52c5
BLAKE2b-256 1fb4ca1be2868b515cf60d7cab49fe16ca87d5cee2259a993eed4f28dfc12657

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3b90c6c06f58d8497f3e40bc579fa87f2d48c064aadb747a4450a76179335528
MD5 6e33d6f8a8eab3b01c45f6ea48ff8f74
BLAKE2b-256 fe27945dbe7d9fe6b75d668aaa4eb8b95a0d68c05e10b7dda714ea1ce0745e63

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 ddd509f828c125ea09cf2ab0bced0a45bde5735641b2e1e0324e04e39dadd0e4
MD5 ceaa5f01c988e0d3614134e7ce903f2f
BLAKE2b-256 c2885f30ecc1cac91ca40aca015e422c65b4dfb46fe4997bdfe7a5c01e514ba7

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 711a0087880cf0da3765db830022e32778cc766c55ddcf10ae05b35021f8eb8d
MD5 82d5bae027858d9c41d03cbe02b8730a
BLAKE2b-256 7c1c60ff716d29893e7c37b88b4da1b4221c31688be805fd0327014a983c09c6

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3b251e69eb1542137a7f4d093a48950019e5e01135496245a9a85c156bba342d
MD5 7eff47aae55571c64b71b05814f0ce7e
BLAKE2b-256 f94b0428d4109a5e563b8bed674b229388318357ede01dee40a11c14ce047ef5

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp310-cp310-macosx_10_7_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp310-cp310-macosx_10_7_x86_64.whl
Algorithm Hash digest
SHA256 4e1b9cb68af33098d22314f2dd68392c8d8ac4baf75daf0529189309d9633b79
MD5 9d6b1618ab5ac7cbf0949368415c6044
BLAKE2b-256 874917cdf6cb77d0de5a9059cff1c39d82222cf1e16c56ab8818e613175217e2

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp39-none-win_amd64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp39-none-win_amd64.whl
Algorithm Hash digest
SHA256 ead0bcdc3468b8722572c48b78b175691949dc6997cca4adf5b4d79bcf73cd2c
MD5 a7431d0711c75bd2fe937671e9f7d602
BLAKE2b-256 8a7146ebe57f4dc2dba37c2237cb27664f24e1bf428e70c74fe9058a39f49b78

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp39-cp39-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c4ee90fa5769f93263814f3bfd2bbea0f7e11fbe8a18eb73e41df3a580582a1f
MD5 dacc6c1713cdda6d060ef74393dacce9
BLAKE2b-256 61b97b2732b9665d3660722d4fc4846372f9444c4418e0ed898acd0de8bbb5b1

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6b7983f2fdeed3354d20c8a5b03246501afc36609862eefb6edd2806ab1c4f23
MD5 f3f1772283225b9635ab92284e25f582
BLAKE2b-256 b7f8ac4bdb0750cee69d086834351ca7bfce07c5c43ce4e4b6899bc1fe0cbe4b

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 e24947af68b0e2f37f35bb25e8b58edcd251fcaf1cdfdfaddb935bf17d8fa365
MD5 b28ac59d393c65155af191841d1b34c0
BLAKE2b-256 82248db382aa4c252c21c8e8e1243557e52b985b1cbd5682944e28f9f139a6ed

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 17b70dd996abaf410720a0553386295119af5b751c086ae6fe00aeb51e750d69
MD5 3db48a173cec57a2149703bb42948fd4
BLAKE2b-256 388f073a0fca66b95ae894e300e818711fb1ba5ede906dd800ce4f73c3363951

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp38-none-win_amd64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp38-none-win_amd64.whl
Algorithm Hash digest
SHA256 635f6ea497785af8f5de8c708891b1b6e6c5ceaf619b1cbaa260039e8166821b
MD5 4928fd0ebec76660c8d681c46da13d4c
BLAKE2b-256 050c5114a106202364238784912a13cf76e42a96f543d9f42c5afe1b6e97070d

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp38-cp38-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 47f6a2675c65f7112673b3515f640c27f96a1aaa8e9ea0e0fc27dec7d81a0644
MD5 dce5d598295d156cb6e72305a4a0c1bf
BLAKE2b-256 1ad9d279a48e8ac85be9c465ba0d6dea2c18caba7be7bea4d42b688ab25d4063

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c50b85301d5b81d19baa4ee26e902526bd394eef7b23170e6f7482cc1b1fdf9c
MD5 7d5abac01bc2414537f5e31d12e56192
BLAKE2b-256 6a77481cd5575f8cb1c7fc0e8faaf6ce74b40d5b4094f974f68f7a9568d2f230

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 c71317a079070d642dc13c9ad1d6369c7064993d25153d85febc747f08e1f27e
MD5 30e6c2be21748bdceb164610ade1d4be
BLAKE2b-256 e9c850bed735d7fe8a144a6f2ab3eb199e4e2e3d929cd3063d0ee95369af887d

See more details on using hashes here.

File details

Details for the file argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 e07e56527cb73ba5456ca810ab91afb0ddf478a7ef5c557171e230ff620557ac
MD5 a1b52aac75aeef19fb32906e89b24e6a
BLAKE2b-256 fff85a1aeedeef89092f0436ef4e3c7300d00b872e61138c3ce86019c0ef5d23

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page