projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4337cdb) | patch
Add option to send all instantiations in a bounded range (#8796)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 21 May 2022 22:58:11 +0000 (17:58 -0500)
committerGitHub <noreply@github.com>
Sat, 21 May 2022 22:58:11 +0000 (22:58 +0000)
commitaaf5d11d3506c5f946c6b6edec2240d0a5b484d0
treefb10393d91d0508d34a65bf36ae9081ba602eb6atree
parent4337cdb8e2a071ded73dbc9236c8bb2f4d42e6e5commit | diff
Add option to send all instantiations in a bounded range (#8796)

There is a block of code in FMF instantiation that is questionable whether it is helpful, in particular for dealing with string reductions for long strings.
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/fmf/full_model_check.cpp diff | blob | history