/COASTL

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.