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/bug374.delta01.smt | |
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/bug374.delta01.smt')
0 files changed, 0 insertions, 0 deletions