projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0dcd82) | patch
Use axioms when checking goal entailment for abduction algorithm (#3611)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 17 Jan 2020 20:24:03 +0000 (14:24 -0600)
committerGitHub <noreply@github.com>
Fri, 17 Jan 2020 20:24:03 +0000 (14:24 -0600)
commit77eb7c81060ae590a5ae1bbab88c7e21d57b39b9
tree09fe4608b6eb6ce3fc1c8ded2047409b140f5cf7tree
parentb0dcd82a9e235ffcce6a8f261cecb83a3dcf90e1commit | diff
Use axioms when checking goal entailment for abduction algorithm (#3611)
src/theory/quantifiers/sygus/cegis_core_connective.cpp diff | blob | history
src/theory/quantifiers/sygus/cegis_core_connective.h diff | blob | history