diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /src/prop/minisat/CVC4-README | |
parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'src/prop/minisat/CVC4-README')
-rw-r--r-- | src/prop/minisat/CVC4-README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/minisat/CVC4-README b/src/prop/minisat/CVC4-README index cd3b638d6..2fcf2ed49 100644 --- a/src/prop/minisat/CVC4-README +++ b/src/prop/minisat/CVC4-README @@ -1,6 +1,6 @@ ================ CHANGES TO THE ORIGINAL CODE ================================== -The only CVC4 connections passed to minisat are the proxy (defined in sat.h) and +The only cvc5 connections passed to minisat are the proxy (defined in sat.h) and the context. The context is obtained from the SmtEngine, and the proxy is an intermediary class that has all-access to the SatSolver so as to simplify the interface to (possible) other sat solvers. These two are passed to minisat at @@ -35,7 +35,7 @@ Backtracking in minisat is performed through the cancelUntil() method, which is now modified to pop the context the appropriate number of times. Minisat pushes the scope in the newDecisionLevel() method where we appropriately -also push the CVC4 context. +also push the cvc5 context. * Phase caching |