#ifdef CVCL_THEORY
int cvcGetImplicants(int lit, int *reasons);
#endif

//#define DEBUG

// satbox-friendly identifiers
#define DEFINITION_COUNTER_START 3
#define MAX_ID 1073741824
#define NEXT_DEFINITION_ID ((definitions++)<<1)+1
#define NEG_ID(x) (x^1)
#define ID_IS_POSITIVE(x) (x&1)
#define ID_IS_NEGATIVE(x) ((x+1)&1)
#define POS_ID(x) (x&1?x:x^1)

