removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / BerkMin561.h

diff --git a/satPlan2006/include/BerkMin561.h b/satPlan2006/include/BerkMin561.h
deleted file mode 100644 (file)
index 3087edd..0000000
--- a/satPlan2006/include/BerkMin561.h
+++ /dev/null
@@ -1,78 +0,0 @@
-// Macro guard\r
-#ifndef BERKMIN561_SOLVER_CSE473_H\r
-#define BERKMIN561_SOLVER_CSE473_H\r
-\r
-// Files included\r
-#include "SolverInterface.h"\r
-\r
-\r
-/*============================================================================//\r
-    BerkMin561.h: header file - implementation of SolverInterface for\r
-     BerkMin561.\r
-\r
-    Implementation: Shane J. Neph, June 2004, University of Washington\r
-//============================================================================*/\r
-\r
-struct BerkMin561Solver : public SolverInterface {\r
-    static std::string ExeName()\r
-        { return("berkmin561-linux"); }\r
-\r
-    static std::string LicenseName()\r
-        { return("license.txt"); }\r
-\r
-    static std::string Name()\r
-        { return("berkmin561"); }\r
-\r
-    BerkMin561Solver() : tmpFile_("berkmin561.stats"),\r
-                         results_("berkin.results")\r
-        { /* */ }\r
-\r
-    virtual ~BerkMin561Solver()\r
-        { /* */ }\r
-\r
-private:\r
-    virtual std::vector<std::string> cleanFiles() const {\r
-        std::vector<std::string> toRtn;\r
-        toRtn.push_back(getTempFile());\r
-        toRtn.push_back(getSolutionName());\r
-        return(toRtn);\r
-    }\r
-    virtual bool evaluateReturn(int rtnVal);\r
-    virtual std::string exe() const { return(ExeName() + " "); }\r
-    virtual std::string getExeNameAndArgs(const std::string& dir,\r
-                                          const std::string& wffFileName,\r
-                                          long rand) {\r
-        std::string toRtn = exe() + wffFileName;\r
-        toRtn += (" > " + getTempFile());\r
-        return(dir + toRtn);\r
-    }\r
-    virtual std::string getExeNameAndArgs(const std::string& dir,\r
-                                          const std::string& wffFileName,\r
-                                          const std::string& options) {\r
-        std::string toRtn = exe() + wffFileName;\r
-        toRtn += (" " + options);\r
-        toRtn += (" > " + getTempFile());\r
-        return(dir + toRtn);\r
-    }\r
-    virtual std::string getSolutionName() const { \r
-        return(results_); \r
-    }\r
-    virtual bool isSat(const std::vector<std::string>& vec);\r
-    virtual void listOptions(std::ostream& os, const std::string& dir);\r
-    virtual std::string name() const { return(Name()); }\r
-    virtual void setUnique(const std::string& original) {\r
-        tmpFile_ += original;\r
-        results_ += original;\r
-    }\r
-\r
-private:\r
-    std::string getTempFile() const {\r
-        return(tmpFile_);\r
-    }\r
-\r
-private:\r
-    std::string tmpFile_, results_;\r
-};\r
-\r
-\r
-#endif // BERKMIN561_SOLVER_CSE473_H\r