#
# ChangeLog for vis_dev/sharpSAT
#
# Generated by Trac 1.2.3
# Jul 4, 2024, 12:44:28 AM

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


Fri, 08 Jul 2011 14:56:07 GMT cecile [9]
	* vis_dev/glu-2.1/configure (modified)
	* vis_dev/sharpSAT (added)
	* vis_dev/sharpSAT/Makefile (added)
	* vis_dev/sharpSAT/Makefile_ar (added)
	* vis_dev/sharpSAT/Makefile_nogmp (added)
	* vis_dev/sharpSAT/README (added)
	* vis_dev/sharpSAT/res_sat (added)
	* vis_dev/sharpSAT/semantic.cache (added)
	* vis_dev/sharpSAT/sharpSAT (added)
	* vis_dev/sharpSAT/src (added)
	* vis_dev/sharpSAT/src/src_sharpSAT (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/Basics.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/Basics.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/DecisionStack.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/DecisionStack.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/FormulaCache.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/FormulaCache.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/semantic.cache (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/MainSolver.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/MainSolver.h (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/semantic.cache (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/main.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/main_.cpp (added)
	* vis_dev/sharpSAT/src/src_sharpSAT/semantic.cache (added)
	* vis_dev/sharpSAT/test (added)

	add sharpSat