peqnp (pypi): PEQNP Mathematical Solver from http://www.peqnp.com
Keywords: csp|mip