Minion is an open-source constraint solver that is designed to be very scalable. This test profile uses Minion's integrated benchmarking problems to solve.
Revision History
pts/minion-1.4.0 [23 Jan 2013 13:33:13 CST]
- Update against upstream Minion 0.15 release.
pts/minion-1.3.0 [07 Dec 2011 12:34:14 CST]
- Update against upstream Minion 0.12 release.
pts/minion-1.2.0 [06 Dec 2010 13:57:30 CST]
- Initial import into OpenBenchmarking.org