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

Teaching

Backmarking Algorithm by Luis Vargas, 2002-03 (Installation shield, 23MB)

Learning Nogoods Algorithm by Cesareo Gutierrez Casorran, 2002-03 (Java programs, 176K)