diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 23:02:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 23:02:26 -0700 |
commit | f1b7f9062edbe5feeb64685b029c6f001fb4e048 (patch) | |
tree | f091101aac77a12cf1286ee7f96110549312e8ea | |
parent | 03e7b7209ea4a8b3810a8c5ecb99d6953d0d2c07 (diff) | |
download | abc-f1b7f9062edbe5feeb64685b029c6f001fb4e048.tar.gz abc-f1b7f9062edbe5feeb64685b029c6f001fb4e048.tar.bz2 abc-f1b7f9062edbe5feeb64685b029c6f001fb4e048.zip |
Experiments with Glucose.
-rw-r--r-- | src/sat/glucose/Glucose.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp index 479f08f9..8d520474 100644 --- a/src/sat/glucose/Glucose.cpp +++ b/src/sat/glucose/Glucose.cpp @@ -226,7 +226,7 @@ bool Solver::addClause_(vec<Lit>& ps) if ( 0 ) { for ( int i = 0; i < ps.size(); i++ ) - printf( "%d ", ps[i] ); + printf( "%d ", toInt(ps[i]) ); printf( "\n" ); } |