####### 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 :math:`[0, 1]`.