[Minion-general] Minion 0.14 released

[Peter N. <pw...@st...>]

We are pleased to announce that Minion 0.14 has just been released. 
Binaries for several platforms and the source can be downloaded from 
http://minion.sourceforge.net/

Changelog:

Bugfixes:
-- When Minion was asked to find all solutions to a problem that could 
be solved without search, it returned the one solution then segfaulted. 
This was corrected, it does not change the set of solutions but does now 
exit correctly.
Improvements:
-- Minion is now able to split the remaining search to allow parallel 
search. See the manual for further details. This introduces the -split 
command-line switch.
Other changes:
-- The -resume-file commandline switch has been removed because its 
function is no longer necessary as resume files are now self-contained. 
See the manual.

Pete