diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-03-08 18:42:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-08 18:42:03 -0800 |
| commit | 4c64f2388a5dca50ecbd0610f9dcb13324345b94 (patch) | |
| tree | 7f4c3218a3dcb9fa0012465c2a027e0a47b01962 /contrib | |
| parent | fefdd3589804d989e5be641aa8daaaa82369e18c (diff) | |
Cleanup Cryptominisat SAT wrapper. (#1652)
Cryptominisat has name conflicts with the other Minisat implementations since
the Minisat implementations export var_Undef, l_True, ... as macro whereas
Cryptominisat uses static const. In order to avoid these conflicts we
forward declare CMSat::SATSolver and include the cryptominisat header only
in cryptominisat.cpp.
Further, the helper functions are moved into an anonymous namespace in the .cpp file and functions that were not used are removed.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-cryptominisat4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-cryptominisat4 b/contrib/get-cryptominisat4 index 5c7cdd958..0a7173cce 100755 --- a/contrib/get-cryptominisat4 +++ b/contrib/get-cryptominisat4 @@ -31,4 +31,4 @@ cd ../ echo echo ===================== Now configure CVC4 with ===================== -echo ./configure --with-cryptominisat --with-cryptominisat-dir=`pwd` +echo ./configure --with-cryptominisat |