#
# ChangeLog for vis_dev/sharpSAT/Makefile_nogmp
#
# Generated by Trac 1.2.3
# Jul 11, 2024, 10:19:30 AM

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