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.
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.