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:


Format WORD

Format PDF