Dr Jano van Hemert

Science, software and scripts


16 Feb 2004


  1. To facilitate as a suit of programs to create and analyse randomly created binary constraint satisfaction problems, for those who do not like to work with libraries for any reason a suite of programs is included that provides a simple interface to the library. With these programs it is easy to create a set of random problem instances, to verify solutions and to analyse instances on a number of features.

  2. To be used as a library to implement and test new or existing constraint satisfaction solving techniques, the library part has an extended documentation of its class hierarchy that helps new developers on their way creating new tools or solving techniques for binary constraint satisfaction. At the same time the library allows testing using a number of theoretical models.

  3. To be freely available for anyone, the library and programs that come with it are all licensed under the Gnu Public License, ensuring free use forever.


Changes with previous (1.7.0) version: Added Model RB by Xu and Li; works now with GCC-3.3.2; changed default output from list to matrix