projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6f86de) | patch
Changed mapping from atoms to literals in the prop engine to be atoms to vars.
authorTim King <taking@cs.nyu.edu>
Thu, 4 Feb 2010 21:03:07 +0000 (21:03 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 4 Feb 2010 21:03:07 +0000 (21:03 +0000)
commita34b66437f97f66d9dcd1caa0919f66cf316e238
tree3c3b8fc01cbc6ac4e97a45de16218d120ca3cca8tree
parentc6f86de8077f667ab2b2e9aac53d60d93ea2da93commit | diff
Changed mapping from atoms to literals in the prop engine to be atoms to vars.
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history