Link Search Menu Expand Document
Specifications PyCSP3 Tools Instances Competitions About


Variables are the basic components of combinatorial problems. In XCSP3-core, you can declare:

  • integer variables, including 0/1 variables that can be used to represent Boolean variables too
  • k-dimensional arrays of integer variables, with k $\geq$ 1

Table of contents