removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / bin / berkmin561-linux

diff --git a/satPlan2006/include/bin/berkmin561-linux b/satPlan2006/include/bin/berkmin561-linux
deleted file mode 100755 (executable)
index 10f3dff..0000000
Binary files a/satPlan2006/include/bin/berkmin561-linux and /dev/null differ