Minion is a fast constraint solver. It can (try
to) solve any problem which can be expressed as a
list of variables and a list of constraints, for
example, Sudoku. It has been used to solve
problems with thousands of variables and
constraints.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
