projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df67b11) | patch
Add option to apply constant propagation for all learned literals (#8668)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 27 Apr 2022 19:12:07 +0000 (14:12 -0500)
committerGitHub <noreply@github.com>
Wed, 27 Apr 2022 19:12:07 +0000 (12:12 -0700)
commitc938a904ea20f8511ae3344a9e9246a792d01a2d
tree30c3307e35c8e993d87a1a42728b7715fc62d840tree
parentdf67b11d1307987aaa17a48579f1080105c8731ecommit | diff
Add option to apply constant propagation for all learned literals (#8668)

Adds `--simplification-bcp`, disabled by default.
src/options/smt_options.toml diff | blob | history
src/preprocessing/passes/non_clausal_simp.cpp diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history