Please read MINOTAUR License before obtaining or using MINOTAUR.
Source code of MINOTAUR version 0.1.1 is available here.
Once downloaded, gunzip and tar xf the file. This will create a directory called minotaur-0.1.1-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.
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.1.1-linux-x86_64.tar.gz||Mar 21, 2012|
|LINUX||i686||minotaur-0.1.1-linux-i686.tar.gz||Mar 21, 2012|
|Mac||x86_64||minotaur-0.1.1-mac-x86_64.tar.gz||Mar 21, 2012|
|Mac||i686||minotaur-0.1.1-mac-i686.tar.gz||Mar 21, 2012|
In each case, gunzip and tar xf the downloaded file. This will create a directory called minotaur-0.1.1-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 two binaries: bnb is our nonlinear branch-and-bound solver, and qpd is our QP-diving solver. Consult Running Binaries for instructions on how to use these solvers.
Library and Header Files
Use the links below to download freely available libraries and headers that MINOTAUR can link to. If you are linking your code to MINOTAUR, or modifying MINOTAUR, these files are useful.
|LINUX||x86_64||minotaur-0.1.1-dev-linux-x86_64.tar.gz||Mar 21, 2012|
|LINUX||i686||minotaur-0.1.1-dev-linux-i686.tar.gz||Mar 21, 2012|
|Mac||x86_64||minotaur-0.1.1-dev-mac-x86_64.tar.gz||Mar 21, 2012|
|Mac||i686||minotaur-0.1.1-dev-mac-i686.tar.gz||Mar 21, 2012|
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 [http://graal.ens-lyon.fr/MUMPS/), and used by IPOPT
Nightly (Unstable) Source Code
Nightly snapshots of source code are available on this link. This source code may not be as thoroghly tested as the stable version provided above.
A Note On Performance
The binaries provided here are linked to freely available libraries. For (sometimes much) better performance, MINOTAUR may be linked to restricted or commercial libraries (e.g. HSL libraries, CPLEX, etc.).