diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-02-22 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-02-22 08:01:00 -0800 |
commit | 9e6f8406e80c55455c464b01033040a88fd12c40 (patch) | |
tree | 5aba441c0d358e48bc9d6fc56f027af792b4c536 /src/sat/csat/csat_apis.h | |
parent | 8eef7f8326e715ea4e9e84f46487cf4657601c25 (diff) | |
download | abc-9e6f8406e80c55455c464b01033040a88fd12c40.tar.gz abc-9e6f8406e80c55455c464b01033040a88fd12c40.tar.bz2 abc-9e6f8406e80c55455c464b01033040a88fd12c40.zip |
Version abc60222
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 |