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.
Benchmark: GracefulQuasigroupSolitaire