ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CGlucose.h
Go to the documentation of this file.
1#ifndef Glucose_CGlucose_h
2#define Glucose_CGlucose_h
3
4#define CGLUCOSE_EXP 1
5#include "sat/glucose2/Heap2.h"
6
7#endif