Programs For Download

From the Constraint Satisfaction Group, Department of Computer Science, University of Essex

Please read the licence agreements before using the software.

The GENET Project
Demos for the GENET Project

The Guided Local Search (GLS) Project
Demos for the GLS Project

The Adaptive Constraint Satisfaction (ACS) Project
Demos for the ACS Project

The Computer-Aided Constraint-Programming (CACP) Project
Programs for the CACP Project

Backmarking Algorithm by Luis Vargas, 2002-03 (Installation shield, 23MB)
Learning Nogoods Algorithm by Cesareo Gutierrez Casorran, 2002-03 (Java programs, 176K)

Maintained by: Edward Tsang; Updated: November 1997
Constraint Satisfaction Home Page