Skip to main content

No project description provided

Project description

Argus: Temporal Logic Monitoring Tool

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.3.tar.gz (63.6 kB view details)

Uploaded Source

Built Distributions

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

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

Uploaded PyPymusllinux: musl 1.2+ ARM64

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

Uploaded PyPymusllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.3-pp39-pypy39_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ ARMv7l

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

Uploaded PyPymusllinux: musl 1.2+ ARM64

argus_temporal_logic-0.1.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.7 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

argus_temporal_logic-0.1.3-pp38-pypy38_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.7 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.12manylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.12manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.3-cp311-none-win_amd64.whl (2.2 MB view details)

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.11manylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.11manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.3-cp311-cp311-macosx_11_0_arm64.whl (719.2 kB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

argus_temporal_logic-0.1.3-cp311-cp311-macosx_10_7_x86_64.whl (768.1 kB view details)

Uploaded CPython 3.11macOS 10.7+ x86-64

argus_temporal_logic-0.1.3-cp310-none-win_amd64.whl (2.2 MB view details)

Uploaded CPython 3.10Windows x86-64

argus_temporal_logic-0.1.3-cp310-cp310-musllinux_1_2_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.10manylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.10manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.3-cp310-cp310-macosx_11_0_arm64.whl (719.2 kB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

argus_temporal_logic-0.1.3-cp310-cp310-macosx_10_7_x86_64.whl (768.1 kB view details)

Uploaded CPython 3.10macOS 10.7+ x86-64

argus_temporal_logic-0.1.3-cp39-none-win_amd64.whl (2.2 MB view details)

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.9manylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.9manylinux: glibc 2.17+ ARM64

argus_temporal_logic-0.1.3-cp38-none-win_amd64.whl (2.2 MB view details)

Uploaded CPython 3.8Windows x86-64

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

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.8manylinux: glibc 2.17+ ARMv7l

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

Uploaded CPython 3.8manylinux: glibc 2.17+ ARM64

File details

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

File metadata

  • Download URL: argus_temporal_logic-0.1.3.tar.gz
  • Upload date:
  • Size: 63.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: maturin/1.3.0

File hashes

Hashes for argus_temporal_logic-0.1.3.tar.gz
Algorithm Hash digest
SHA256 29fc81898770192ae19b80fae6f287983b7f8152f094d71a4b54455a6dd45c15
MD5 85dc6af7dd57c2703ba95013564dfa0a
BLAKE2b-256 6f0b23a04ccc058e6a85fa13463cfb1fb5beb6d5676d576508062fda4c692004

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp310-pypy310_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 9c656409449b04771363649174b133b744a383380e132265816e84e062df185b
MD5 ebb6b117815aa064addcaa160cdbbbbc
BLAKE2b-256 d63d277ab8ff472fd980d1dc4ed608a5ea8c8ce8bf39b2a29816d3fb2c64f978

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 1e2280219164da02082dc2bad17a97ea3e6c2888d5b611c04df62cc12f01fab8
MD5 b717075941d62b84baf1a1fbc14334ca
BLAKE2b-256 fd68608616a88f5c37f550ab142d6362f163390f52ab2e294eda51593bea5ca5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp310-pypy310_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 917145e4f68409287d6fedf288ee0bdeac22d9b8aa330f1f4d577d90f530d3ef
MD5 dc0dc3fb72d1807ca0dbfdd54614b6df
BLAKE2b-256 b34c9c7c00f3a2303e67382eeb14cbdf782f9ef11a2a57c8345857ffb3360b3e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 70cbd3d5004a9cdd0e914a23ebcbbbc0d5755db9df32d0c1cc0e7379c831a39a
MD5 ac36bbb9a982c15a16f783577ff0cd34
BLAKE2b-256 b3079f35010d5f5b55b2497de3226c73d1383c90f78284de740e71571a5f97d0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp39-pypy39_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 85d8bc1461c4e2a979b4b9c417e165f98df322ad697a95fa7c5de45b9403ca32
MD5 57f24199a4ca197ae03a43e705a7190d
BLAKE2b-256 6302a56c959beae6a8d0045999152af1401fd28f9584311776c1a9f7675313b2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a05e8b5237321ea33a6efcf39376ac89b771619d53e08a9bc963aafd62949d82
MD5 a4a10e8a4c6329b79ec78f07e8df3180
BLAKE2b-256 925303276a8bb02e943a20c92e9e963ae52718fd395235e9c606743b3f086a2b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp39-pypy39_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 53653a041fe12f2c52560990f6d6fa1e929fa9d57dff2e0627d8f0bcb52483d7
MD5 63761c68d35ff627366c068b25ffe475
BLAKE2b-256 214def7602024e197e009376ccf11d17aadc7f93ced7cba662f8aaa134fd35b6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 c95944b92e55339e5c67fc3a8f80dab0c1c9a1431be8785756bdb320f292ffe5
MD5 5ee665d1b5cb70e2ebced044472e1674
BLAKE2b-256 6dfc4be25895efdfa875b3a711f3bd6ffcbb036c4070339a57747fae32a51861

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp38-pypy38_pp73-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 7376ea90254cd276520b2bfa0ce9f1f8f0fe484bbed7490b4337e77454ac5bed
MD5 9c00bf0760406da5269c476129df092b
BLAKE2b-256 b9761c7ab49c209823960d138f1add371c0b5abf9a6e8291c451102c68d936e5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 100f6fc75d9311680e9c44524a5584f628c56459a8877dce8e92fd8d01248064
MD5 690281ace0d3a3328a7cbbde0cb84a5a
BLAKE2b-256 5dc2b474522717702aabb886a02644bf0935e6c028dc8a559544be295d31712c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp38-pypy38_pp73-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 af4d64e1646e4c12a5fab440b957a1125eb3f6d89fa9a61825eccd6f88a3fc03
MD5 3498b807ed09851a8760a3a66326a514
BLAKE2b-256 b2d85f01fc32d35441b4c5872574ed72e941966bb6bf3f42d79344f3b081af09

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 be560aa548879e44a7e353b899051f560625deea921db6c14c76f01b2e34efee
MD5 7f356e0c6ad52c510fa8591703b5acc9
BLAKE2b-256 7d02a5f6bbecab1f0dc122bc0fc916069eb1436203858181050c8d5519b8bd0f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6bd8a80cdedd035bf5cb5b14d1fb20a404dd8f1e3a9368b11a5d133b68168b2c
MD5 a036b028f66f0bc3e2a2e3997283b275
BLAKE2b-256 4e2bdc0a544c47a75cfdfda749ea815fb0a2919b1e3373c69a1def9a70fc6c64

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e2703b0348daf55effc0f0491b67f9f1bc13ca3f3f008fbb73bf5e6ff388244d
MD5 0def5a1f1162a04e8a51e5b624ab1a6c
BLAKE2b-256 b6380cce0221b0225a077d0e99d4aa08acb3eb7cc21a423f7634a8b59cfebb57

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp312-cp312-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 dc4f71bd97f943f3ceedca7851db3d215df54728bbc4c3443a7cfba8f25e538b
MD5 4072c919525119b6a9e39b4a448476e1
BLAKE2b-256 cb466aae40be21aaa57eae9353fea93c7ad1f86828b30a69b83e1bec6debcb61

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 a32135e844c978e4790365e3602292ae400c966b0bde49df75ff0b1414e0c31b
MD5 12f60da4a1679ae9d0ccc48ce943917a
BLAKE2b-256 f6875511888af024806742c6dd6f9864a5d2aa6c6c90bc39fbd3d0ba5bb4c667

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-none-win_amd64.whl
Algorithm Hash digest
SHA256 148639f6f7836bff2b697c4cd7edf3791af5175a49e42238110ced4ef1a59772
MD5 e7fe8e9e09b8a0d1c427626ec7a9d2bf
BLAKE2b-256 05a5c773ade6f56953f60f4be613ea4966af9c92e8048dc7171985c6ebc3f4dc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 091aa339ff0a44fe8d90bd87c010017eefb36ebccb7a32e91eda5955d325ba36
MD5 b38b236633ebe877b6fb5b8598602396
BLAKE2b-256 d29920292cbf5ede4628f6fe3f16be99001fb3cf7c1d1743854373ede357dafb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 b2b5c686365718d512722702f3b3b5c898ddaf047d8151c6271c27b5e1d403e0
MD5 a37d5a65fc7fdf3898d07277eb5b44c6
BLAKE2b-256 c531e7024fda615d58af20d0bc51f1302364c3341e26f7be0f959c9ae3e7e742

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 5427e0557af8f10d9571e49c8fafaf4a1d37fe8bea73f637120df9f51b7356f0
MD5 069d7e72771975efaf745e5996ec2ea6
BLAKE2b-256 42b31ab73f96a3d832a93fe169870ec86de0cec4a26bcd14aaa0b4d67e22419f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 34ce6f208642ca743412350edf540aabe7c018994289ac9098d75f2e83f3508b
MD5 29cb948c4327bfc00bf3520c0e9f535f
BLAKE2b-256 922b33e40a98b3ff7f4fdfa3bb8509ef251cba6bd95f66099f89c99a48956a9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8cf1fb7ba8309d0b5ad3e0dab243f7ce315a05cc512786e6fd657813cfcb44bd
MD5 ef235a941b21efdc5f2126aa01a1d82b
BLAKE2b-256 a94619a3c74549eb74a7c7483e03e8bb444e7c24e194e9d96649671de3768cd2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp311-cp311-macosx_10_7_x86_64.whl
Algorithm Hash digest
SHA256 cc6e67bdac5beef76d65ca8be2fd92d05581ee1c8e1e0d7568940d290240fc45
MD5 d6a1d8a3c796042b5bdd48fde66a44e6
BLAKE2b-256 e102cee31c901732bb6c1e3d74ac4c32476d3c4aa922091745f3593be075411c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-none-win_amd64.whl
Algorithm Hash digest
SHA256 b583953d47c371bee31d605c955e505e687895cdbb0b770ae91c004151d08671
MD5 1422f3039d84d14abfd4fb23fb810646
BLAKE2b-256 cfc7800682cd81f80e8dec92d011dd7b7946171621f862ab1140584bc9aa0f36

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e75b5cab8d6352bc2817efcc139d5268638cbdfee081a403f9070f52b99b0b84
MD5 6e274eb5037dcca9b9cddb92e1a4d7c2
BLAKE2b-256 e036bfd72f381c38b26b196bea9ca293f30e6de694200f899811c7251fc0e927

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 99ab86484e71be46e9e57ddc4c7652dd9600d4711c18f5ad2a414d78e4e8f240
MD5 adaf598f5f99fb81dd2dfeacf31f657d
BLAKE2b-256 ef6f4aa572866ded4e007b118794c6770ff624a62fd4d3de68c2b881082ca06f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ed82a1f27eaa2a94cbc6a1b8c1e1b6e6cfbb9b0f29cb96674dc471756c793fa4
MD5 eb37470228a38bc710b116d29fc18ecf
BLAKE2b-256 faae277096c67c99973ff1812949a6a33def8a56a240678be47b3a0a1052e8fc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 c8c9782c64da55a66d0a45fb712046c29b5f94041ea4d925e348776aab0dfe44
MD5 72142c0ac6d9eb5faa91ab3c1c92a179
BLAKE2b-256 e50e0078bfbbd7f88f5de7c9fa7f419ffb677158817b25d055f4da00c5f432a1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 477ef41be6d4195edfb7cb041e84e8dec5d44783da36dca49da4ebc9c1372a66
MD5 2d7e3f533adc477d6226b2702538a7a9
BLAKE2b-256 068e9b3e5805f164d627a943635c323686d6534ae02afbab2b8913f2e2735561

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 dc61099b5be173d941ffe225f09fe63bc1e79f6add50c1994f2a635c8ff39e2f
MD5 d2511d49ee009bd29efbc0d587c4c721
BLAKE2b-256 e689ebd9d8a4fc1008e0dad155d90224cd25c6a787c06e837856f460ce299ee6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp310-cp310-macosx_10_7_x86_64.whl
Algorithm Hash digest
SHA256 3d571af914b869fb340eea2c629b156c0fa9a3de2918fe88868d356e0025587a
MD5 70717f91ce486ce0c20a2eca3bd74a42
BLAKE2b-256 06e3f295db970f6cffbe526fbe43d54f9ddb8340befd9d59dbfd1f38ef09cd94

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp39-none-win_amd64.whl
Algorithm Hash digest
SHA256 7fbfcaaf8d9a6127496f8ad8b1e30c24241d6ddd7984468777edba184c75bb2c
MD5 57eb2cbc62267062deeb02e1c0c9aeda
BLAKE2b-256 3aa0037eeda3dd85465a22a9555f5f99fa2bedc1996caa348d4e51d98b946046

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4e17081ac0ebaa6d16996688e38f7567482edeb906a5124be58b5342d9215bc9
MD5 72cc6da134c3a186b17a4d1fdf264f60
BLAKE2b-256 e84ed324783faf32a43f737d7e3c7a3f1ab9e26912eceba04a65bb15b61148f9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 cc91df1eda89d2d9e4439d01c98778ff266860c2a65e902a38107125b728b3a8
MD5 fcc1adea2c4f7dc4dcc7058dd0c5ed8e
BLAKE2b-256 305bc36d29748c06b638942306ebd32c8aedd18b621bee2958b8745fbc8f61ce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp39-cp39-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 78e93e368d285e284e463f7f47b6033bc36aaa43a1f3bb076d17f0b9108f18d3
MD5 64462b6b3cf3701b8643ff11bbce6425
BLAKE2b-256 70bbdfed55c3f3e325743cc5083fd298efef1dea25818f29bf69006aaa4ea2b6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 4cca8e8a45326bfedb3a8f77b8ed4c6398f90bf3a6c274081586d1ce8ede0d76
MD5 94ae687b6106c79d17037a2bfc9b4808
BLAKE2b-256 7defd8d6fa6624e6ee2c7823a67db69483efa7fa781c35f7d42ab949c3b1d33a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp38-none-win_amd64.whl
Algorithm Hash digest
SHA256 4d9120dc5da692db6d3433fe59ac7bd0b6c559999dd5852a0635f1ac8a317e12
MD5 fe041afc98d9672603248e3cd05bb79f
BLAKE2b-256 569323abe65f0b801c71f0e0a9562c7a4707c6e4e3874f1a1905c69a9411a63f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 89acae967d2f621ab6a89a7bcf83a0d1598626628e71773dcd2f3efb9be3b97d
MD5 490c9018c2998fa5545fd29712d58a10
BLAKE2b-256 c42b59cba941fd3223bbf0d716987d3772765b55a2f7453050ad2efbefc65bab

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 8dd163ba102eded871d5e6f3189cc5dd87fdbec78f01e57d29c3d65047b845f2
MD5 157350e68a7acb63c4d3fa0c764a9177
BLAKE2b-256 7f95b4f401006b8b2e881032e87c4b177f8479da1178821bd2183e02309988f0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp38-cp38-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 e7380f5141e4fcf6d4c853007fa25f1da403ef3a06705dd5cd7125cb46d8e8e2
MD5 3e253ddea5d0ccd307ce5e06a076df7f
BLAKE2b-256 69285b663f482169bb8b3453aeb745f8a2823b717b89663c8e2ae505629b3be6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for argus_temporal_logic-0.1.3-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 faf9a65a54df8223eb5ca244b0dc3cf1f115b3dc2db7a925c297e53f1eb85598
MD5 5a52f2392d3aed54addb7cb6776cacd9
BLAKE2b-256 c19377d1cb7dfb365135c44c39b95a4e42054208a90b3d103c3c5f333f357674

See more details on using hashes here.

Supported by

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