beautification of the prop engine
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 4 Feb 2010 23:50:23 +0000 (23:50 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 4 Feb 2010 23:50:23 +0000 (23:50 +0000)
commitdc4b8296ded0a2288fbfeb71b9ded9217bad6b86
tree7bb1a9d305c46464e0470486e406cdffa9558644
parentfb7d93e00e70b36d12c1d5deec914426c982b3cf
beautification of the prop engine
src/expr/node.cpp
src/expr/node.h
src/prop/cnf_stream.cpp
src/prop/cnf_stream.h
src/prop/prop_engine.cpp
src/prop/prop_engine.h
src/prop/sat.h
src/smt/smt_engine.cpp
src/smt/smt_engine.h