path: root/src/sat/glucose2/CGlucose.h

#ifndef Glucose_CGlucose_h
#define Glucose_CGlucose_h

#define CGLUCOSE_EXP 1
#include "sat/glucose2/Heap2.h"

#endif