projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: effb0d4) | patch
Add switches to toggle eager and inclusion solvers (#7784)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 14 Dec 2021 20:02:37 +0000 (12:02 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Dec 2021 20:02:37 +0000 (20:02 +0000)
commit942b1c357a2a635bedcda8e01ce4f934c8a5a2e9
treed980bdc3dc771abfc8101036d1e2aaebc8020134tree
parenteffb0d47ba5bfaebae17dcd06153489dccd90effcommit | diff
Add switches to toggle eager and inclusion solvers (#7784)
src/options/strings_options.toml diff | blob | history
src/theory/strings/regexp_solver.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history