COASTL v0.0.1

Release 1 (beta)

New Contracts and Contract Operations Features

• Create contracts
• Do composition operation on multiple contracts
• Do conjunction operation on multiple contracts
• Find solutions for binary variables of every logical node (operator) in A & G logics
• Find solutions for all continuous variables reasoned about in A & G sets

New STL Processing Features

• Parse strings of Signal Temporal Logic into operable and traversable tree structures
• Create mixed integer constraints for STL logics
• Solve Gurobi optimization model using MILP technique

General Updates

• Added docstrings for every class and method in contract and STL processing toolkits