Change path of (unused, as non-free) msuncore
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 13:46:32 +0000 (15:46 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 13:46:32 +0000 (15:46 +0200)
Picosat.hs

index 18dfd1d..db3dd1b 100644 (file)
@@ -294,7 +294,7 @@ runPMAXSolver sp = do
         Nothing -> return Nothing
 
 runMSUnCore :: SATProb -> IO (Maybe [Int])
-runMSUnCore = runAPMAXSolver $ \filename ->  proc "./msuncore" ["-v","0",filename]
+runMSUnCore = runAPMAXSolver $ \filename ->  proc "./solvers/msuncore-2011606-linux64" ["-v","0",filename]
 
 runMiniMaxSat :: SATProb -> IO (Maybe [Int])
 runMiniMaxSat = runAPMAXSolver $ \filename ->  proc "./minimaxsat" ["-F=2",filename]