projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b14dddb) | patch
Array-inspired Sequence Solver - Adding the ArrayCoreSolver class and options (#7723)
authorYing Sheng <sqy1415@gmail.com>
Fri, 10 Dec 2021 20:59:47 +0000 (12:59 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Dec 2021 20:59:47 +0000 (20:59 +0000)
commit43170db86742dd5fbe33b4bdc9a938f6c1ceae5d
tree92e8487a366d6dfdb63144e18865daff18eb5c36tree
parentb14dddb404897200630c6ee1afeb98a0a24f99e0commit | diff
Array-inspired Sequence Solver - Adding the ArrayCoreSolver class and options (#7723)

This pull request adding the ArrayCoreSolver class and the options to turn on the array-inspired sequence solver.
src/CMakeLists.txt diff | blob | history
src/options/strings_options.toml diff | blob | history
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/ext_theory.h diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/strings/array_core_solver.cpp [new file with mode: 0644] blob
src/theory/strings/array_core_solver.h [new file with mode: 0644] blob