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