diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-02 16:20:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-02 16:20:45 -0700 |
| commit | 5001fa069ab42134333244b3f27c852724cea3e2 (patch) | |
| tree | c03b1730016a03094064b01311d5a529d9e00641 /src/options | |
| parent | 902262c421e52405204b3a95310c8414cc51a5c5 (diff) | |
Update CaDiCaL to version 1.0.3. (#3137)
* Removes incremental API check (#3011)
* Fixes toSatValueLit to use the new semantics of CaDiCaL's val()
Fixes #3011
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/options_handler.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 15436646f..b0a1cd1ad 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -1174,17 +1174,6 @@ theory::bv::SatSolverMode OptionsHandler::stringToSatSolver(std::string option, } else if (optarg == "cadical") { -#ifndef CVC4_INCREMENTAL_CADICAL - if (options::incrementalSolving() - && options::incrementalSolving.wasSetByUser()) - { - throw OptionException(std::string( - "CaDiCaL version used does not support incremental mode. \n\ - Update CaDiCal or Try --bv-sat-solver=cryptominisat or " - "--bv-sat-solver=minisat")); - } -#endif - if (options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY && options::bitblastMode.wasSetByUser()) { |