projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ef0ba5) | patch
- added standard effort for transpose
authorPaulMeng <baolmeng@gmail.com>
Thu, 7 Apr 2016 18:41:21 +0000 (13:41 -0500)
committerPaulMeng <baolmeng@gmail.com>
Thu, 7 Apr 2016 18:41:21 +0000 (13:41 -0500)
commitd051a5f28b99d4b82e6b242dfa4866381b7aed7e
treea9291cb5b007b058edb34f1722a76fb8bc6b4fc7tree
parent0ef0ba5360ae6e1586269c12396e07e9aa3dfb65commit | diff
- added standard effort for transpose
- implement transitive closure rule for concrete input
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history
src/theory/sets/theory_sets_rewriter.cpp diff | blob | history