Minion / News: Recent posts

Minion version 0.9 has now been released at sourceforge. Cygwin,
Windows, Linux and Mac binaries and the source can be downloaded from http://minion.sourceforge.net .

Changelog:

New features:

- added ability to abort and resume runs
- added lex[rv] (which achieves GAC with repeated variables) and lex[quick]
constraints
- added -cpulimit flag to limit CPU rather than wall time

Misc improvements:... read more

Minion version 0.8.1 has now been released at sourceforge. Cygwin,
Linux and Mac binaries and the source can be downloaded from
http://minion.sourceforge.net .

Changelog:

Improvements:
- the code was cleaned up and modularised to be more easily
understandable and modifiable
- more information is made available in INFO mode
- some minor bugfixes

Performance enhancements:
- bound checks for Boolean variables are more efficient
- input files are parsed faster... read more

Minion version 0.8.0 has now been released at sourceforge. Cygwin,
Linux and Mac binaries and the source can be downloaded from
http://minion.sourceforge.net .

Users who use pre-compiled binaries should find any existing problem
files run the same as before. Building from source has changed
substantially, with Minion now requiring both the 'cmake' build system
and 'boost' C++ library. Full instructions are included in the source
package.... read more

Bugs fixed:

* -check was always enabled. This slowed down problems which found many solutions (hundreds per second)

New features:

* hamming, watchedvecexists_less, watchedvecexists_and, negativetable.
* Faster performance at root node.
* New algorithm for solving problems whose solutions for a group.
* Accept gzipped and bzip2ed input.
* Better error messages from invalid command line options or input files.
* -check now faster when activated.
* Documentation improvements.
* Many internal improvements and cleanups.

We have released version 0.5.1 of Minion. It is mainly a bugfix release compared to 0.5.0.

For detailed changelog from 0.5.0 see
https://sourceforge.net/project/shownotes.php?release_id=574899

We released an upgraded version of Minion on 15th January 2008. This is version 0.5.0.

There are many bugfixes from 0.4.1. Major changes are a new input format which is much easier to use, although the old format is accepted for backwards compatibility. The program is now self documenting through the command line interface.

Before 0.4.0 was even added to the news, 0.4.1 comes out.

The biggest addition to the 0.4.0 series is MUCH faster table constraints.

We have released version 0.3.3 of Minion. The most noticeable change is that the Manual is now up to date! There are a number of other bugfixes as well.

This is a quick update. The major bug fixed is that the windows version didn't actually work :( A couple of other minor bugs were fixed.

Even before release 0.3 of Minion was properly announced, 0.3.1 is out!

This version has a few more bugs fixed, and a couple of new constraints added.

Minion 0.2.2 contains significant bugfixes over the earlier release candidates, as well as new benchmarks and improved compiler options for making. This version was used for running experiments reported in our ECAI 2006 paper available from our project home page, http://minion.sourceforge.net

A new release of Minion has been released. Many, many bugs have been fixed over the previous version. Binaries for windows are available, other users will have to compile. Feel free to ask on the mailing list if you need any help with anything, or just to say you have downloaded it!

The first version of Minion has been released. It is unfortunatly poorly documented. Expect better documentation soon!