projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2196596) | patch
sets translate: a different translation using axioms
authorKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 8 Jun 2014 21:01:54 +0000 (17:01 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 8 Jun 2014 21:01:54 +0000 (17:01 -0400)
commitb14e52e64520e5f344811db5969bb02b5fa8eb17
tree59df7f93bea00d47e6548aeeeb8bb611d99d228btree
parent21965968150ec8d84b12a9555063e0a6451cb62acommit | diff
sets translate: a different translation using axioms

todo: set logic correctly, split the code for two translators
examples/sets-translate/sets_translate.cpp diff | blob | history