removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / bin / satplan

diff --git a/satPlan2006/include/bin/satplan b/satPlan2006/include/bin/satplan
deleted file mode 100755 (executable)
index 7a8641b..0000000
Binary files a/satPlan2006/include/bin/satplan and /dev/null differ