Metadata-Version: 2.4
Name: argus-automatix
Version: 0.3.5
Summary: Symbolic (weighted) automata monitors
Author-email: Anand Balakrishnan <anandbala1597@gmail.com>
Requires-Python: >=3.10
Requires-Dist: equinox>=0.11
Requires-Dist: jax>=0.4
Requires-Dist: jaxtyping>=0.2
Requires-Dist: lark
Requires-Dist: logic-asts>=0.3.3
Requires-Dist: networkx
Requires-Dist: numpy~=1.26
Requires-Dist: types-networkx
Requires-Dist: typing-extensions
Provides-Extra: cuda
Requires-Dist: jax[cuda]~=0.4; extra == 'cuda'
Provides-Extra: polynomials
Requires-Dist: dd; extra == 'polynomials'
