projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5852810) | patch
Add a few basic extensions for equality engine (#4937)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 Aug 2020 23:33:49 +0000 (18:33 -0500)
committerGitHub <noreply@github.com>
Mon, 24 Aug 2020 23:33:49 +0000 (18:33 -0500)
commit5aeb8b78c4a26b274dbfecc882c0e0bb836cb398
tree6d3e2fc492d6b5b4cf29ee1cd9c3322745ae5db4tree
parent5852810e110a002ad9a3b04b929470a4b61abe98commit | diff
Add a few basic extensions for equality engine (#4937)

This includes a standard method for safe explanations and the option to disable all trigger terms.
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history