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 /test/regress/regress0/boolean-prec.cvc | |
| 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 'test/regress/regress0/boolean-prec.cvc')
0 files changed, 0 insertions, 0 deletions