projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f834b9) | patch
SyGuS instantiation modes (#5228)
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 11 Oct 2020 18:10:16 +0000 (11:10 -0700)
committerGitHub <noreply@github.com>
Sun, 11 Oct 2020 18:10:16 +0000 (13:10 -0500)
commit3d49a4413c819f6dee337ac7c53b6f6c6b510377
tree005dba213df89927ffcdf9c0bdf3776609c855catree
parent0f834b9622947ad1f6405c83a43df88c98c05c55commit | diff
SyGuS instantiation modes (#5228)

This PR adds three instantiation modes to the SyGuS instantiation module.
src/expr/node.h diff | blob | history
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus_inst.cpp diff | blob | history
src/theory/quantifiers/sygus_inst.h diff | blob | history