Programs from the CACP Project

ZDC 1.83 Installation (33MB), a ZDC Constraints Solving system (Source (34MB))

New from November 2004, to run on Windows 2000/XP.

(If you want a CD, please contact us)

ZDC was developed for the CACP Project. It is a system for non-experts to solve constraint satisfaction and optimisation problems.
ZDC provides an interface for defining constants, variables, domains and constraints and optimization criterion. ZDC_Direct provides an interface for inputing programs in the EaCL 1.5 language.

For sample problems, click <here>

Older versions are no longer supported (due to updates by Microsoft in C++ Microsoft Foundation Class):

ZDC 1.7 (2,139K)

ZDC Direct 1.7 (1,724K) Requires: Windows 95/98/NT.

(For those interested, see development log for ZDC)

EightQ.zip (1,280K)

A program to solve the 8-Queens.
To give users a glimpse of constraint satisfaction and solving.
Requires: Windows 95/98/NT.

Prolog-EaCL-Timetabling.zip (15K)

This package contains Prolog programs for generating random timetabling in the EaCL language, which can be loaded into ZDC-Direct to solve;

randomtt.plg -- to generate random timetabling problems

make_tt.plg -- to generate timetabling problems in EaCL code

Requires: Windows 95/98/NT/2000
(updated 2002.05.10).

New: ZDC-Rostering.zip (24K)

This package contains Prolog programs for solving Rostering Problems:
A Prolog program is provided to translate rostering requirements to constraint satisfaction problem, expressed in EaCL language, which can be loaded into ZDC-Direct to solve;

requirement.plg -- specification of the rostering problem

req_to_eacl.plg -- to generate from requirement.plg constraint satisfaction problems in EaCL code

Developed in: SWI Prolog 4.0.11 and Windows XP
(2004.06.04)

	Constraint Satisfaction Home Page