Metadata-Version: 2.1
Name: racetrack
Version: 0.1.0
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
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Project-URL: Repository, https://github.com/koehlma/momba.git
Description-Content-Type: text/markdown

# Racetrack
