Metadata-Version: 2.1
Name: racetrack
Version: 0.5.5
Summary: A formal model of the Racetrack benchmark.
Home-page: https://github.com/koehlma/momba
License: MIT
Author: Maximilian Köhl
Author-email: koehl@cs.uni-saarland.de
Requires-Python: >=3.8,<4.0
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Dist: click (>=7.1.2,<8.0.0)
Requires-Dist: colorama (>=0.4.4,<0.5.0)
Requires-Dist: momba[engine] (>=0.6.0,<0.7.0)
Project-URL: Repository, https://github.com/koehlma/momba.git
Description-Content-Type: text/markdown

# Racetrack
