/cabpy

CabPy, a game solver for reachability games specified by formulas over the theory of linear arithmetic.

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.