MINION
Posted: 14.12.2011, 16:32
http://boinc.cs.st-andrews.ac.uk/minion
Currently setup the server. Link is not working yet.MINION is a new constraint solver, which is very fast and scales well as problem size increases. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size --- MINION delivers scalable constraint solving.