removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / bin / satz-rand

diff --git a/satPlan2006/include/bin/satz-rand b/satPlan2006/include/bin/satz-rand
deleted file mode 100755 (executable)
index 905a121..0000000
Binary files a/satPlan2006/include/bin/satz-rand and /dev/null differ