Changeset 9

Timestamp:

Jul 8, 2011, 4:56:07 PM (14 years ago)

Author:

cecile

Message:

add sharpSat

Location:

vis_dev

Files:

• glu-2.1/configure (modified) (1 diff)
• sharpSAT (added)
• sharpSAT/Makefile (added)
• sharpSAT/Makefile_ar (added)
• sharpSAT/Makefile_nogmp (added)
• sharpSAT/README (added)
• sharpSAT/res_sat (added)
• sharpSAT/semantic.cache (added)
• sharpSAT/sharpSAT (added)
• sharpSAT/src (added)
• sharpSAT/src/src_sharpSAT (added)
• sharpSAT/src/src_sharpSAT/Basics.cpp (added)
• sharpSAT/src/src_sharpSAT/Basics.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver (added)
• sharpSAT/src/src_sharpSAT/MainSolver/DecisionStack.cpp (added)
• sharpSAT/src/src_sharpSAT/MainSolver/DecisionStack.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/FormulaCache.cpp (added)
• sharpSAT/src/src_sharpSAT/MainSolver/FormulaCache.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/semantic.cache (added)
• sharpSAT/src/src_sharpSAT/MainSolver/MainSolver.cpp (added)
• sharpSAT/src/src_sharpSAT/MainSolver/MainSolver.h (added)
• sharpSAT/src/src_sharpSAT/MainSolver/semantic.cache (added)
• sharpSAT/src/src_sharpSAT/main.cpp (added)
• sharpSAT/src/src_sharpSAT/main_.cpp (added)
• sharpSAT/src/src_sharpSAT/semantic.cache (added)
• sharpSAT/test (added)

vis_dev/glu-2.1/configure

@@ -7629 +7629 @@
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 # Files that config.status was made for.
-config_files="`echo $ac_config_files`"
+config_files="$ac_config_files"
 
 _ACEOF