projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae09936) | patch
Refactor CAD option for linear model seed (#7657)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 18 Nov 2021 19:15:34 +0000 (11:15 -0800)
committerGitHub <noreply@github.com>
Thu, 18 Nov 2021 19:15:34 +0000 (19:15 +0000)
commit95ad09bc87bc0d61ea6523d408e335b6b6935f80
tree2d4ff0022709f1b1f74372c74b7b0ef88f561fe3tree
parentae09936f4d732b460f493f32c9192223be867e1fcommit | diff
Refactor CAD option for linear model seed (#7657)

This PR implements another strategy for using the linear model in the CAD-based nonlinear solver. It stays disabled by default.
src/options/arith_options.toml diff | blob | history
src/theory/arith/nl/cad/cdcac.cpp diff | blob | history