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
    Constraint Satisfaction Home Page

    CACP Project
    ZDC download