m2csmt 0.1.2

A solver for systems of non-linear (in)equations