projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7127be1) | patch
Add strategy for nonlinear extension (#5160)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 30 Sep 2020 15:39:58 +0000 (17:39 +0200)
committerGitHub <noreply@github.com>
Wed, 30 Sep 2020 15:39:58 +0000 (10:39 -0500)
commit71f54fc41ee068707de387c2a6379b8996aaf744
treed365b69a2c7e856552ce5e9d9080e8365036a840tree
parent7127be18692e2fd32bd2dfce53e50c105ed8a25dcommit | diff
Add strategy for nonlinear extension (#5160)

This PR adds a flexible strategy for the nonlinear extension that replaces the handwritten code in checkLastCall().
src/CMakeLists.txt diff | blob | history
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/arith/nl/strategy.cpp [new file with mode: 0644] blob
src/theory/arith/nl/strategy.h [new file with mode: 0644] blob