Variables

Variables are the basic components of combinatorial problems. In XCSP³-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

• integer
• arrays