diff options
Diffstat (limited to 'src/sat/csat/csat_apis.h')
| -rw-r--r-- | src/sat/csat/csat_apis.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sat/csat/csat_apis.h b/src/sat/csat/csat_apis.h index faba9ee4..e187845c 100644 --- a/src/sat/csat/csat_apis.h +++ b/src/sat/csat/csat_apis.h @@ -150,6 +150,10 @@ extern void ABC_ReleaseManager(ABC_Manager mng); // set solver options for learning extern void ABC_SetSolveOption(ABC_Manager mng, enum CSAT_OptionT option); +// enable checking by brute-force SAT solver (MiniSat-1.14) +extern void ABC_UseOnlyCoreSatSolver(ABC_Manager mng); + + // add a gate to the circuit // the meaning of the parameters are: // type: the type of the gate to be added |