m2csmt 0.1.3

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