diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 19:43:08 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 19:43:08 -0800 |
commit | b5c3992b6b00c64cfd20a553858fb7c25f1fedac (patch) | |
tree | 5aecf883493b9216934dc71896e9eac79584efbe /src/sat/bsat/satSolver2.h | |
parent | c985e17d1f62597924a3e12a2a5e54df41e089e4 (diff) | |
download | abc-b5c3992b6b00c64cfd20a553858fb7c25f1fedac.tar.gz abc-b5c3992b6b00c64cfd20a553858fb7c25f1fedac.tar.bz2 abc-b5c3992b6b00c64cfd20a553858fb7c25f1fedac.zip |
Proof-logging in the updated solver.
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
-rw-r--r-- | src/sat/bsat/satSolver2.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 01216146..2e745bc2 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -32,7 +32,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA ABC_NAMESPACE_HEADER_START -//#define USE_FLOAT_ACTIVITY +#define USE_FLOAT_ACTIVITY //================================================================================================= // Public interface: |