Artificial Intelligence Group Project

ENCODE: ENvironment for COnfiguration DEsign

Copernicus Project 0149 (EU funded 420k ECU)

Constraint Satisfaction Engine

---

Constraint Satisfaction Engine is being developed at the Department of Cybernetics and Artificial Intelligence at Technical University of Kosice as a specialised solving module for the implementation level of the ENCODE workbench. Moreover, it can be used independently as an environment to define and solve constraint satisfaction problems (i.e. problems which can be defined as a set of variables and constraints between these variables).

The following files are available for the CSE testing.

• cse.zip (120k) containts the precompiled code of the CSE (cse.fsl) to be used in the Allegro Common Lisp for Windows (v3.0 or higher). Initialisation file start.lsp could be modified to reflect the user's settings.
• CSE manual is available as an Encode Technical Report TR-Encode-TUKE-1-96 in the postscript form.

Please, any comments/suggestions send to paralic@ccsun.tuke.sk.

Copyright © 1995 Marek Hatala