##### - variables ##### - values ##### - deadline constraint ##### - unary inclusive ##### - unary exclusive ##### - binary equals ##### - binary not equals ##### - binary not simultaneous