Please read MINOTAUR License before obtaining or using MINOTAUR.
Use the links below to download MINOTAUR binaries linked to freely available libraries. You do not need to download external libraries for running the executables.
|LINUX||x86_64||minotaur-0.2.0-linux-x86_64.tar.gz||Aug 05, 2015|
|LINUX||i686||minotaur-0.2.0-linux-i686.tar.gz||Aug 05, 2015|
|Mac||x86_64||minotaur-0.2.0-mac-x86_64.tar.gz||Aug 05, 2015|
In each case, gunzip and tar xf the downloaded file. This will create a directory called minotaur-0.2.0-arch/ where arch is the downloaded architecture with the following content
|bin||directory with binaries|
|third-party||directory with third-party license files|
There are four binaries in this distribution: bnb is our nonlinear branch-and-bound solver, qg implements the LP/NLP based algorithm for convex MINLPs, qpd is our QP-diving solver and glob is a solver for global optimization of QCQPs . Consult Running Binaries for instructions on how to use these solvers.
Third-Party Libraries and Header Files
Third-party libraries will be required if you wish to compile Minotaur's source code or link to the Minotaur libraries. The license of each library is included in the tar file. Headers and libraries of the following packages are included in the tar files.
- AMPL Solver Interface (Available at netlib)
- BOOST Headers (Available at boost)
- CLP (Available at COIN-OR)
- CPP-UNIT (Available at sourceforge)
- IPOPT (Available at COIN-OR)
- MUMPS (Available at its website), and used by IPOPT
|LINUX||x86_64||third-party-0.2.0-linux-x86_64.tar.gz||Aug 05, 2015|
|LINUX||i686||third-party-0.2.0-linux-i686.tar.gz||Aug 05, 2015|
|Mac||x86_64||third-party-0.2.0-mac-x86_64.tar.gz||Aug 05, 2015|
Source code of MINOTAUR version 0.2.0 is available here.
Once downloaded, gunzip and tar xf the file. This will create a directory called minotaur-0.2.0-src/ with the following content:
|src||MINOTAUR source code|
|examples||some examples of using MINOTAUR|
|Makefile.manual||compiling MINOTAUR without using cmake|
To compile and link MINOTAUR, see Compiling MINOTAUR.
Obtaining Latest (Unstable) Source Code
Latest source code of Minotaur is available on github.
git clone https://github.com/minotaur-solver/minotaur.git minotaur
If you can not use git, nightly snapshots of source code are available as a tar.gz file on this link. This source code is not as thoroughly tested as the stable version provided above.
A Note On Performance
The binaries provided here are linked to freely available libraries. MINOTAUR may be linked to restricted or commercial libraries (e.g. HSL libraries, CPLEX, etc.) for possibly better performance.