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.1-linux-x86_64.tar.gz||Oct 02, 2017|
|Mac||x86_64||minotaur-0.2.1-mac-x86_64.tar.gz||Oct 02, 2017|
In each case, gunzip and tar xf the downloaded file. This will create a directory called minotaur-0.2.1-arch/ where arch is the downloaded architecture with the following content
|bin||directory with binaries|
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.
Source code of MINOTAUR version 0.2.1 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.
Third-Party Libraries and Header Files
You may download compiled third-party libraries using the links below for compiling and linking Minotaur source code. The license of each library is included in the lic folder of the tar file.
|LINUX||x86_64||third-party-0.2.1-linux-x86_64.tar.gz||Oct 02, 2017|
|Mac||x86_64||third-party-0.2.1-mac-x86_64.tar.gz||Oct 02, 2017|
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) used by IPOPT
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.