git.libre-soc.org Git - cvc5.git/commit

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Sun, 25 Mar 2012 20:04:43 +0000 (20:04 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Sun, 25 Mar 2012 20:04:43 +0000 (20:04 +0000)
commit	426abc52a0f1631f2adee0eef845e3f8946c5088
tree	66bc00874b2b4bd6cd22d3e0dca507cf8729de8d	tree
parent	19266a39605baad33543539b0045fc940a0d650f	commit \| diff

sat.h,cpp -> theory_proxy.h,cpp (this is what it defines)

src/prop/Makefile.am		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/sat.cpp	[deleted file]	blob \| history
src/prop/sat.h	[deleted file]	blob \| history
src/prop/sat_module.cpp		diff \| blob \| history
src/prop/theory_proxy.cpp	[new file with mode: 0644]	blob
src/prop/theory_proxy.h	[new file with mode: 0644]	blob