EZCSP Home Page

• Added partial support for Sicstus 4.x. Global constraint cumulative/4 is not available under Sicstus 4.x.
• New relation label_order(<CSP variable>,<integer>) allows to specify the order of the CSP variables in the SICStus labeling statement (automatically generated by ezcsp). Multiple variables can have the same index associated, in which case the ordering among them will be arbitrary. Variables without an associated index will occur last in the list passed to the labeling statement. Proper specification of label_order has been shown to increase performance substantially in medium and large programs.
• Switched to gringo and clasp as default grounder and ASP solver. See options --grounder and --solver to use other programs.
• Added support for reified constraints. Negation is represented in ezcsp as #! (it is #\ in Sicstus).
• Added ability to compute extended answer sets of CR-Prolog.
  WARNING: recently crmodels has undergone major changes, including an almost complete rewrite, and has been renamed crmodels2. The latest version of ezcsp only works with crmodels2. crmodels2 will be available online soon.
• Reduced the amount of unnecessary parentheses generated when pre-processing the program to map the CP-style connectives (#>, etc.) into legal ASP function symbols. LParse sometimes gives errors when the program contains unnecessary parentheses.

Installation and Usage

1. Download, compile, and install dlv_rsig.
   • Uncompress the archive and change directory to the newly created directory.
   • Run ./configure
   • Run make
   • Run make install (usually as administrator)
2. Download, compile, and install EZCSP.
   • Uncompress the archive and change directory to the newly created directory.
   • Run ./configure
   • Run make
   • Run make install (usually as administrator)

• -n: maximum number of extended answer sets to be computed (0 for all).
• --mkatoms: format the output using the same format used by mkatoms.
• -a: format the output so that it is compatible with the syntax of most ASP solvers and Prolog interpreters.
• --grounder: use the specified grounding program instead of gringo.
• --solver: use the specified grounding program instead of clasp.

cspdomain(fd).

d(1..2).
cspvar(v(X),10,20) :- d(X).
required(v(1) >= v(2)).
required(sum([v/1],>=,39)).

cspvar(s,20,40).
required(sum([v/1],==,s)).

Answer: 1
Stable Model: cspdomain(fd) d(1) d(2) required(ezcsp__geq(v(1),v(2))) required(ezcsp__sum(list(v,1),ezcsp__geq,39)) cspvar(s,20,40) required(ezcsp__sum(list(v,1),ezcsp__eq,s)) cspvar(v(1),10,20) cspvar(v(2),10,20) s=39 v(1)=20 v(2)=19 
Answer: 2
Stable Model: cspdomain(fd) d(1) d(2) required(ezcsp__geq(v(1),v(2))) required(ezcsp__sum(list(v,1),ezcsp__geq,39)) cspvar(s,20,40) required(ezcsp__sum(list(v,1),ezcsp__eq,s)) cspvar(v(1),10,20) cspvar(v(2),10,20) s=40 v(1)=20 v(2)=20 
False

Supported Global Constraints

sum/3
scalar_product/4
serialized/2
cumulative/4
all_different/1
all_distinct/1
count/4
element/3
assignment/2
circuit/1
circuit/2

Licensing

Downloads

• EZCSP (version 1.6.10)
• dlv_rsig (version 1.7.2)

Questions, Bugs, etc.

Authors

References