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 /COPYING | |
| parent | 62f58d62c6c597eeb9cae5e08d74f21c4a5c5c40 (diff) | |
Add support for CaDiCaL as eager BV SAT solver. (#1675)
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -82,7 +82,8 @@ GMP) may (and do) remain under the more permissive modified BSD license. CVC4 optionally links against the following libraries: ABC (https://bitbucket.org/alanmi/abc) - Cryptominisat4.0 (https://github.com/msoos/cryptominisat) + CaDiCaL (https://github.com/arminbiere/cadical) + CryptoMiniSat (https://github.com/msoos/cryptominisat) LFSC checker (https://github.com/CVC4/LFSC) Linking CVC4 against these libraries does not affect the license terms of the |