Minion version 0.10 released
Minion version 0.10 has been released.
From the News:
March 17, 2010. Minion 0.10 has been released.Changelog:
- Nauty is now included by default for automatic symmetry detection.
- New features:
- added watchvecexists_less constraint
- added quick lexless constraint
- added lightweight table constraint
- new flag -instancestats that will give various properties about the instance
- new flag -searchlimit to limit only time spent in search and not in preprocessing
- Bugfixes:
- time limits are now taken into account during preprocessing as well
- some of the generators were getting old and have been updated
- reification of unary constraints works properly now
- set constraints on empty sets now work
- several bugfixes for watched constraints
- Misc improvements:
- speed improvements and memory for the parser
- reduced memory requirements
- improved testing
- tidier reimplementation of the search manager
- bumped minimum Mac OSX version from 10.4 to 10.5