projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72bfafc) | patch
Generalize explanations for PBE sygus strings based on negative contains when multipl...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 29 Jan 2018 22:59:13 +0000 (16:59 -0600)
committerGitHub <noreply@github.com>
Mon, 29 Jan 2018 22:59:13 +0000 (16:59 -0600)
commita695c35ebb077246cc7278fc3ad99a2ac536ef0d
tree06e54c515c80adac3c84c7935dbb010f8ffd2617tree
parent72bfafc8e9c00ecb8901b4d5bf8e72dbbb5365cfcommit | diff
Generalize explanations for PBE sygus strings based on negative contains when multiple strategies are present (#1546)
src/theory/quantifiers/ce_guided_pbe.cpp diff | blob | history
src/theory/quantifiers/ce_guided_pbe.h diff | blob | history
src/theory/quantifiers/sygus_invariance.cpp diff | blob | history