phase/formula.c
phase/formula.c.bak
phase/formula.cnf
phase/formula.h
phase/formula.h.bak
phase/formula.o
phase/libsat.a
phase/Makefile
phase/Makefile.bak
phase/merge
phase/merge.c
phase/num.out
phase/phase
phase/phase.c
phase/phase.c.bak
phase/phase.h
phase/phase.h.bak
phase/random.c
phase/random.h
phase/random.o
phase/SAT.h
phase/sat.out
phase/SAT_C.h
phase/sat_solver.cpp
phase/sat_solver.cpp.bak
phase/sat_solver.o
phase/verify
phase/verify.c
phase/zchaff
phase/zchaff.out
phase/zchaff_base.cpp
phase/zchaff_base.h
phase/zchaff_base.o
phase/zchaff_clsgen.h
phase/zchaff_cpp_wrapper.cpp
phase/zchaff_cpp_wrapper.o
phase/zchaff_c_wrapper.cpp
phase/zchaff_c_wrapper.o
phase/zchaff_dbase.cpp
phase/zchaff_dbase.h
phase/zchaff_dbase.o
phase/zchaff_header.h
phase/zchaff_solver.cpp
phase/zchaff_solver.h
phase/zchaff_solver.o
phase/zchaff_utils.cpp
phase/zchaff_utils.o
phase/zchaff_version.h
phase/zchaff_wrapper.wrp
phase/4_sat
phase