projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36d3f48) | patch
Avoid trivial equalities in explanation of SETS_CARD_CYCLE (#8635)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 19 Apr 2022 20:36:54 +0000 (15:36 -0500)
committerGitHub <noreply@github.com>
Tue, 19 Apr 2022 20:36:54 +0000 (20:36 +0000)
commit6a9a932b5e1f96b911bac1a95cb622ea04f57ec6
tree140e4c445731eef03a87a401b8777016784e8240tree
parent36d3f481fbeecf09ff7330dc4fa30c175d6834b7commit | diff
Avoid trivial equalities in explanation of SETS_CARD_CYCLE (#8635)

This was the root cause of cvc5/cvc5-projects#178.
src/theory/sets/cardinality_extension.cpp diff | blob | history