phase\formula.c

.....\formula.c.bak

.....\formula.h

.....\formula.h.bak

.....\formula.o

.....\libsat.a

.....\Makefile

.....\Makefile.bak

.....\merge

.....\merge.c

.....\num.out

.....\phase

.....\phase.c

.....\phase.c.bak

.....\phase.h

.....\phase.h.bak

.....\random.c

.....\random.h

.....\random.o

.....\SAT.h

.....\sat.out

.....\SAT_C.h

.....\sat_solver.cpp

.....\sat_solver.cpp.bak

.....\sat_solver.o

.....\verify

.....\verify.c

.....\zchaff

.....\zchaff.out

.....\zchaff_base.cpp

.....\zchaff_base.h

.....\zchaff_base.o

.....\zchaff_clsgen.h

.....\zchaff_cpp_wrapper.cpp

.....\zchaff_cpp_wrapper.o

.....\zchaff_c_wrapper.cpp

.....\zchaff_c_wrapper.o

.....\zchaff_dbase.cpp

.....\zchaff_dbase.h

.....\zchaff_dbase.o

.....\zchaff_header.h

.....\zchaff_solver.cpp

.....\zchaff_solver.h

.....\zchaff_solver.o

.....\zchaff_utils.cpp

.....\zchaff_utils.o

.....\zchaff_version.h

.....\zchaff_wrapper.wrp

.....\4_sat

phase