Domains

Supported domains

NuCS supports integer and boolean domains.

Integer domains

Domains bounds are 32-bits integers.

Boolean domains

Boolean domains are integer domains of the form \([0, 1]\).