projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1b58cf) | patch
Always enable cbqi literal dependency (#4116)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 19 Mar 2020 01:42:55 +0000 (20:42 -0500)
committerGitHub <noreply@github.com>
Thu, 19 Mar 2020 01:42:55 +0000 (20:42 -0500)
commit236337b3df1fa6c7627537f0d783d3d3f568b068
treeaee0ee98181375af32ad082ae727a55f8a10f9f6tree
parentf1b58cf3d090d252e9349d491c4b43c46bf52b0ecommit | diff
Always enable cbqi literal dependency (#4116)

Fixes #4105.

It appears that the two (experimental) options in that issue were incompatible.

A block of code changed indentation in this PR and was updated to guidelines.
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp diff | blob | history