Development Log
ZDC Constraints Solving System
The ZDC Constraints Solving system
is part of the CACP Project
ZDC is 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.
- ZDC 1.81 (33MB)
- Released 10 February 2004
- Bug on GFC fixed: division "/" was not implemented properly in ZDC 1.8
- One can specify a random seed in GLS so that experiments can be repeated
- Speed improved for the "AddDifferent" constraint
Acknowledgements:
Thanks to Jack Ho and Vincent Tam (University of Hong Kong)
for pointing out the problem with the "/" operator.
ZDC 1.8 (33MB)
Released January 2004, to run on Windows 2000/XP.
Microsoft updated the C++ foundation libraries used for 2000 and XP.
This caused ZDC 1.7 to become unstable.
Acknowledgements:
ZDC 1.8 was funded by the University of Essex's Research Promotion Fund DDPH40
ZDC 1.7 (2,139K)
and ZDC Direct 1.7 (1,724K)
Run on Windows 95/98/NT.
Acknowledgements:
ZDC 1.7 was funded by the EPSRC Grant GR/L20122
from 1 March 1997 to 30 September 2000