K 25
svn:wc:ra_dav:version-url
V 47
/usvn/svn/polysys/!svn/ver/3/trunk/src/zchaff64
END
zchaff_dbase.cpp
K 25
svn:wc:ra_dav:version-url
V 64
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_dbase.cpp
END
zchaff_solver.h
K 25
svn:wc:ra_dav:version-url
V 63
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_solver.h
END
zchaff_base.h
K 25
svn:wc:ra_dav:version-url
V 61
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_base.h
END
zchaff_clsgen.h
K 25
svn:wc:ra_dav:version-url
V 63
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_clsgen.h
END
zchaff_dbase.h
K 25
svn:wc:ra_dav:version-url
V 62
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_dbase.h
END
sample.cnf
K 25
svn:wc:ra_dav:version-url
V 58
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/sample.cnf
END
zverify_df.cpp
K 25
svn:wc:ra_dav:version-url
V 62
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zverify_df.cpp
END
zchaff_version.h
K 25
svn:wc:ra_dav:version-url
V 64
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_version.h
END
README
K 25
svn:wc:ra_dav:version-url
V 54
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/README
END
zchaff_header.h
K 25
svn:wc:ra_dav:version-url
V 63
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_header.h
END
zminimal.cpp
K 25
svn:wc:ra_dav:version-url
V 60
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zminimal.cpp
END
zchaff_utils.cpp
K 25
svn:wc:ra_dav:version-url
V 64
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_utils.cpp
END
sat_solver.cpp
K 25
svn:wc:ra_dav:version-url
V 62
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/sat_solver.cpp
END
cnf_stats.cpp
K 25
svn:wc:ra_dav:version-url
V 61
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/cnf_stats.cpp
END
run_till_fix.pl
K 25
svn:wc:ra_dav:version-url
V 63
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/run_till_fix.pl
END
zchaff_wrapper.wrp
K 25
svn:wc:ra_dav:version-url
V 66
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_wrapper.wrp
END
zchaff_solver.cpp
K 25
svn:wc:ra_dav:version-url
V 65
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_solver.cpp
END
zchaff_base.cpp
K 25
svn:wc:ra_dav:version-url
V 63
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/zchaff_base.cpp
END
SAT.h
K 25
svn:wc:ra_dav:version-url
V 53
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/SAT.h
END
Makefile
K 25
svn:wc:ra_dav:version-url
V 56
/usvn/svn/polysys/!svn/ver/2/trunk/src/zchaff64/Makefile
END
