• To avoid problems with obsolete links, we prefer to provide a single link to Sourceforge's download site for Minion.

• Download Minion from Sourceforge

• All files from currently available releases of Minion are available from Sourceforge.
• We usually provide binary releases for Linux, MacOS, and Windows.
• As of version 0.5.1 however, the Windows version requires cygwin. We made this decision because otherwise we have problems with library incompatibilities, and the development team does not contain a Windows programmer.
• Source code is always available. For details, see below.

Release History

From time to time we release executables of Minion and source files. These reflect stable points in development or versions of particular interest.

Some notes on various releases (not necessarily the most recent releases) are here:

• February 8, 2008. MINION 0.5.1 has been released. The major changes are
  • The windows version of Minion now requires 'cygwin'.
  • The 'gacelement' constraint has been renamed 'gacelement-deprecated'.
  • Several bugfixes and minor improvements.
  • You can read more at the detailed changelog.
• January 17, 2008: We have released MINION version 0.5.0. Major changes are extensive stability improvements, several bugfixes, an enhanced, new imput format and many more. Binaries are available for Linux, MacOS and Windows. The source is also available from Sourceforge, or (as ever) can be obtained via subversion. The new release also contains an extensive documentation in html-format.
  
  
• March 4,2007: We have released Version 0.4.1. See the manual for important bug fixes, extensions and changes.
• October 17, 2006: We have released Version 0.3.3. Perhaps the most important bugfix is that the manual now describes the current version of Minion! Of course there are many other bugfixes.
• August 27, 2006: While no stable releases have been made, progress on Minion has been continuing! This release fixes a number of bugs and add a few new command line switches (run minion without command line options to see them). One major point to note in this version is for sanity checking, Minion now checks any solutions generated to make sure they satisfy all the constraints. This should stop any false positive results but does create a slight slowdown on problems with very many solutions. For benchmarking a version should be compiled without the -DMORE_SEARCH_INFO command line flag. This version of Minion has also been compiled to support the largest possible array of processors, and compiling specifically for a certain level of processor can often improve speed substansally. E-mail if you want a version for benchmarking on a specific machine! This release is based on subversion release 240.
• May 11, 2006: We released version 0.2.2 of Minion, which is the version reported in our ECAI 2006 paper on Minion. This corresponds to revision 170 in Minion's subversion repository.

Subversion

At all times the source code of the latest version of Minion is available through the use of a Subversion server. Subversion is a version control system for source code. Details of how to use subversion are given at the Minion project page at sourceforge.net.

It is important to note that this source code is subject to more changes than our periodic releases and hence is less stable. The most recent code available will often represent work in progress and may not even compile.

The main trunk of development is under the directory "trunk" in the subversion to repository. To reduce the amount of data downloaded, you can use the following command to download the current status of trunk.

 svn co https://minion.svn.sourceforge.net/svnroot/minion/trunk minion

The subversion server can also be viewed through a web browser at: http://svn.sourceforge.net/viewcvs.cgi/minion/