v0.1.0-alpha1

changelog

• fixes a bug when handling lasso counterexamples

v0.1.0-alpha0

This is the first alpha release of matla and is only meant for early adopters. Definitely not production-ready.

Make sure to go through the user manual.