metric-temporal-logic

View on PyPIReverse Dependencies (5)

0.4.1 metric_temporal_logic-0.4.1-py3-none-any.whl

Wheel Details

Project: metric-temporal-logic
Version: 0.4.1
Filename: metric_temporal_logic-0.4.1-py3-none-any.whl
Download: [link]
Size: 15370
MD5: 41c399f4ece3e53b47a1f0ea60084205
SHA256: b06fadab5c4984512c405cb57cf373fddb2e258f5c3033c06e88da8a85ac4b6e
Uploaded: 2023-02-20 07:09:27 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: metric-temporal-logic
Version: 0.4.1
Summary: A library for manipulating and evaluating metric temporal logic.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-metric-temporal-logic
Project-Url: Repository, https://github.com/mvcisback/py-metric-temporal-logic
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Requires-Python: >=3.7,<4.0
Requires-Dist: attrs (<23,>=22)
Requires-Dist: discrete-signals (<0.9,>=0.8)
Requires-Dist: lenses (<0.6.0,>=0.5.0)
Requires-Dist: parsimonious (<0.10.0,>=0.9.0)
Description-Content-Type: text/markdown
[Description omitted; length: 7151 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.4.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
mtl/__init__.py sha256=4Bejee7gb0QNY1ZHO_7l7ODt0nME6ggMVAitB6UWHTc 167
mtl/ast.py sha256=avlfL3jsbe6UuJP3lQOYRba7wl-ZC3q9i88ouEsVh_M 5197
mtl/evaluator.py sha256=zQ_aWavhSV9KuU5b_04BRxJLPlKqZTRUWM6mujWdYkc 4636
mtl/hypothesis.py sha256=BPJhtJDpgucJfzvP1KW7Vl6xJGeoszHvmiCa8DBIjks 686
mtl/parser.py sha256=lJaAaugevJ-imUEHkUewetK0qnjLl1rqVeKYCZBRq7A 4325
mtl/sugar.py sha256=VlKAnUYWCH4mBuSa0cW-zgGf8wxjQ4Oh8K23kWD234c 590
mtl/test_ast.py sha256=PT7z3bZn89QTyEboDUtyAnKILx9cGxG_9OvSVfWZbPM 919
mtl/test_boolean_eval.py sha256=_p2nK9lbgRUxG7R3twRk28mBJjZ0eXjARz5LM-hMlPk 1901
mtl/test_eval.py sha256=uggSieg4SCZXNGD0FJsQA3cltctiGyo9o1f2ddCU_CE 1851
mtl/test_params.py sha256=dL5VEqxNYXcIZh9sYtjuNcNdoJMeFWJe6oNbipzXObs 358
mtl/test_parser.py sha256=fDPLtc4WB_va-rD_Y_7283pzJwO8TYYWd89yGa5OZ1s 386
mtl/test_utils.py sha256=DIocxXkMF9U_rhTVhC2i2flVb5db3oM0_vWtS7Dobv4 2521
mtl/utils.py sha256=2gioqJhZzLC86dJXG_T0jJDaTpTqDg3IMk_bIQcgEUA 2937
metric_temporal_logic-0.4.1.dist-info/LICENSE sha256=EzjrJYcFTDh5eIg5jx6U82s6PtKMzYIm9BDFlfFAkA0 1489
metric_temporal_logic-0.4.1.dist-info/METADATA sha256=Gr71pn_n_9tez29e-_BQ32AqxvOA1wfCp5-GSoKkbCk 8095
metric_temporal_logic-0.4.1.dist-info/WHEEL sha256=vVCvjcmxuUltf8cYhJ0sJMRDLr1XsPuxEId8YDzbyCY 88
metric_temporal_logic-0.4.1.dist-info/RECORD