A Python tool for computing concurrent permissive strategy templates.

A C++ tool for computing witnessing subsystems and certificates for multi-objective queries.

A Python library for abstracting feed-forward neural networks.

A Python library for heuristically solving mixed integer programs.