[Minion-general] Minion 0.9 released

[Lars K. <la...@cs...>]

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: 
 
- various source code cleanups 
- converted the benchmarks to Minion 3 format 
- speedup for input file parsing 
- added support for Windows without Cygwin 
- reduced memory usage