Thank you for your interest in our work. Please fill out the form. An email will be sent to you with a link to download the solver.

We have for download the following solvers:

All available downloads are statically linked for Linux. If this is a problem for you, let us know.

If you have any question regarding our solvers, check the solver's webpage and feel free to contact us. We are always happy to ear from people using our software.


If you wish to tell us the reason for downloading the solver, please let us know in the field below.

Last Updated: November 2012