Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
Primary LanguagePython
No issues in this repository yet.