Dr Jano van Hemert, FRSE

Science, software, scripts, etc.

Feb 16, 2004 - 1 minute read



  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