removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / .gitignore

diff --git a/satPlan2006/.gitignore b/satPlan2006/.gitignore
deleted file mode 100644 (file)
index 9d987d6..0000000
--- a/satPlan2006/.gitignore
+++ /dev/null
@@ -1,11 +0,0 @@
-#Files
-*.soln
-sat_solver
-log_file
-*.o
-CNF_*
-original.*
-solveroutput.*
-# Folders
-nbproject/
-./include/bin/*