diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-03-20 16:11:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-20 16:11:15 -0700 |
| commit | 614670f98a9ab2d3cfcb9f364a1b06d78f63ebb0 (patch) | |
| tree | 7dbdfbbae495fed26877c51267f6775f618f5d33 /test/regress/regress0/uf/pred.smt | |
| parent | 62f58d62c6c597eeb9cae5e08d74f21c4a5c5c40 (diff) | |
Add support for CaDiCaL as eager BV SAT solver. (#1675)
Diffstat (limited to 'test/regress/regress0/uf/pred.smt')
0 files changed, 0 insertions, 0 deletions