1 2 3 4 5 6 7
#ifndef Glucose_CGlucose_h #define Glucose_CGlucose_h #define CGLUCOSE_EXP 1 #include "sat/glucose2/Heap2.h" #endif