projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a20cee) | patch
Clean up nonlinear extension (#5149)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 29 Sep 2020 12:05:46 +0000 (14:05 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 12:05:46 +0000 (07:05 -0500)
commitb2137af7e9dd3993b4206274c59d0e3eeb2725cc
treeaef755abcf364eeeddf6bd2bfb5af065496676e3tree
parent8a20cee891d1fb820ed04f08c1fd0999b619ea8bcommit | diff
Clean up nonlinear extension (#5149)

This PR performs some cleanups in the nonlinear extension, in particular it removes the old lemma collection scheme. It is no longer needed, as all subsolvers use the inference manager.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history