#
# ChangeLog for vis_dev/zchaff/zminimal.cpp
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 1:42:07 PM

Fri, 08 Jul 2011 15:22:03 GMT cecile [10]
	* vis_dev/sharpSAT/sharpSAT (modified)
	* vis_dev/zchaff (added)
	* vis_dev/zchaff/Makefile (added)
	* vis_dev/zchaff/README (added)
	* vis_dev/zchaff/SAT.h (added)
	* vis_dev/zchaff/cnf_stats.cpp (added)
	* vis_dev/zchaff/run_till_fix.pl (added)
	* vis_dev/zchaff/sat_solver.cpp (added)
	* vis_dev/zchaff/zchaff_base.cpp (added)
	* vis_dev/zchaff/zchaff_base.h (added)
	* vis_dev/zchaff/zchaff_clsgen.h (added)
	* vis_dev/zchaff/zchaff_dbase.cpp (added)
	* vis_dev/zchaff/zchaff_dbase.h (added)
	* vis_dev/zchaff/zchaff_header.h (added)
	* vis_dev/zchaff/zchaff_solver.cpp (added)
	* vis_dev/zchaff/zchaff_solver.h (added)
	* vis_dev/zchaff/zchaff_utils.cpp (added)
	* vis_dev/zchaff/zchaff_version.h (added)
	* vis_dev/zchaff/zchaff_wrapper.wrp (added)
	* vis_dev/zchaff/zminimal.cpp (added)
	* vis_dev/zchaff/zverify_df.cpp (added)

	Zchaff