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.
MINION
MINION
http://boinc.cs.st-andrews.ac.uk/minion