projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86716e3) | patch
Switched cnf conversion to go through CnfStream.
authorTim King <taking@cs.nyu.edu>
Tue, 2 Feb 2010 20:56:47 +0000 (20:56 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 2 Feb 2010 20:56:47 +0000 (20:56 +0000)
commita8588cb23c5257bb11a70348346476b55317faa3
tree34bead7e2b760d813ee02d04a9dec091eedbc745tree
parent86716e3782aae62a38987f7f89bdf5498eca534acommit | diff
Switched cnf conversion to go through CnfStream.
13 files changed:
src/prop/Makefile.am diff | blob | history
src/prop/cnf_conversion.h [new file with mode: 0644] blob
src/prop/cnf_stream.cpp [new file with mode: 0644] blob
src/prop/cnf_stream.h [new file with mode: 0644] blob
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/smt/Makefile.am diff | blob | history
src/smt/cnf_conversion.h [deleted file] blob | history
src/smt/cnf_converter.cpp [deleted file] blob | history
src/smt/cnf_converter.h [deleted file] blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/util/options.h diff | blob | history