MALICE: CAIA's solver
You can download malice-2009.tar.bz2 , which includes MALICE 2009 system,
as a 26 megabytes bzip-ed source tar archive, for Linux (x86 or AMD64).
The md5 checksum is 22bf9d2d97cf3e634dfd6fd5f4c69dab
This is a free software under GPLv3 license.
Read the “How_to_use_MALICE” instructions.
The resolution of 800 problems by MALICE can be tested.
You can choose one of its three methods for solving Constraint Satisfaction Problems.
Comments are welcome to: