diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
| commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
| tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /src/prop | |
| parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) | |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/bvminisat/bvminisat.cpp | 2 | ||||
| -rw-r--r-- | src/prop/bvminisat/bvminisat.h | 2 | ||||
| -rw-r--r-- | src/prop/bvminisat/core/Solver.h | 2 | ||||
| -rw-r--r-- | src/prop/cryptominisat.cpp | 2 | ||||
| -rw-r--r-- | src/prop/cryptominisat.h | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/src/prop/bvminisat/bvminisat.cpp b/src/prop/bvminisat/bvminisat.cpp index 7c7196822..1d8bf8f17 100644 --- a/src/prop/bvminisat/bvminisat.cpp +++ b/src/prop/bvminisat/bvminisat.cpp @@ -12,7 +12,7 @@ * * SAT Solver. * - * Implementation of the minisat for cvc4 (bit-vectors). + * Implementation of the minisat for cvc5 (bit-vectors). */ #include "prop/bvminisat/bvminisat.h" diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h index 9d363224f..ea509ece6 100644 --- a/src/prop/bvminisat/bvminisat.h +++ b/src/prop/bvminisat/bvminisat.h @@ -12,7 +12,7 @@ * * SAT Solver. * - * Implementation of the minisat for cvc4 (bit-vectors). + * Implementation of the minisat for cvc5 (bit-vectors). */ #include "cvc5_private.h" diff --git a/src/prop/bvminisat/core/Solver.h b/src/prop/bvminisat/core/Solver.h index 3826eb9f9..d2423a71a 100644 --- a/src/prop/bvminisat/core/Solver.h +++ b/src/prop/bvminisat/core/Solver.h @@ -79,7 +79,7 @@ private: /** To notify */ Notify* d_notify; - /** Cvc4 context */ + /** cvc5 context */ cvc5::context::Context* c; /** True constant */ diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index eee0842de..ef13a0b46 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -12,7 +12,7 @@ * * SAT Solver. * - * Implementation of the cryptominisat for cvc4 (bit-vectors). + * Implementation of the cryptominisat for cvc5 (bit-vectors). */ #include "prop/cryptominisat.h" diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h index f19821067..58ce33bcf 100644 --- a/src/prop/cryptominisat.h +++ b/src/prop/cryptominisat.h @@ -12,7 +12,7 @@ * * SAT Solver. * - * Implementation of the cryptominisat sat solver for cvc4 (bit-vectors). + * Implementation of the cryptominisat sat solver for cvc5 (bit-vectors). */ #include "cvc5_private.h" |