projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c83b4da) | patch
Activate reverse variant of F-Split inference (#3745)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 16 Feb 2020 18:09:31 +0000 (10:09 -0800)
committerGitHub <noreply@github.com>
Sun, 16 Feb 2020 18:09:31 +0000 (10:09 -0800)
commite3231523b7bd8da0871b1efb63f23f1b3c4adbe7
tree5e693579bd50d53eccc867ccc110c1f72c690c42tree
parentc83b4da35cea90527334b0d8e7ed343c4823436acommit | diff
Activate reverse variant of F-Split inference (#3745)

This commit activates the reverse variant of the F-Split inference.
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/normal_form.cpp diff | blob | history
src/theory/strings/normal_form.h diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.h diff | blob | history