projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eea4ce6) | patch
implemented a basic solving procedure for finite relations (only for
authorPaulMeng <baolmeng@gmail.com>
Sun, 28 Feb 2016 22:22:43 +0000 (16:22 -0600)
committerPaulMeng <baolmeng@gmail.com>
Sun, 28 Feb 2016 22:22:43 +0000 (16:22 -0600)
commit9f5a29e3ec43821c37f8557f9215cb52a80c1b0b
tree4c452d73002f49c80c32a0ee6c020bacd34cd4d4tree
parenteea4ce60a90e6807b008b430e39f16dcb263c8a6commit | diff
implemented a basic solving procedure for finite relations (only for
join, product, transpose operators)
src/theory/sets/theory_sets.h diff | blob | history
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
test/regress/regress0/sets/rels/rel_join_0.cvc diff | blob | history
test/regress/regress0/sets/rels/rel_transpose_0.cvc diff | blob | history