summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose2/CGlucose.h
blob: 32da4248937a79529df3dfd12ffd630a02c88b86 (plain)
1
2
3
4
5
6
#ifndef Glucose_CGlucose_h
#define Glucose_CGlucose_h

#define CGLUCOSE_EXP 1

#endif