Module XFD.Dimacs

Summary of exported operations:

solveDimacs :: SolverConfig -> [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   
getSolutions :: Handle -> String -> Int -> Boolean -> [String] -> [(String,[Boolean])] -> Int -> Int -> Int -> IO [[Int]]   
excludeSolution :: [String] -> [(String,[Boolean])] -> [Boolean] -> Boolean -> Boolean   
solveD :: [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   
z3Dimacs :: SolverConfig   
lingeling :: SolverConfig   
testExtraction :: [FDExpr]   
test :: [FDExpr] -> FDConstr -> IO ()   

Exported operations:

solveDimacs :: SolverConfig -> [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   

getSolutions :: Handle -> String -> Int -> Boolean -> [String] -> [(String,[Boolean])] -> Int -> Int -> Int -> IO [[Int]]   

excludeSolution :: [String] -> [(String,[Boolean])] -> [Boolean] -> Boolean -> Boolean   

solveD :: [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   

z3Dimacs :: SolverConfig   

Further infos:
  • solution complete, i.e., able to compute all solutions

lingeling :: SolverConfig   

Further infos:
  • solution complete, i.e., able to compute all solutions

testExtraction :: [FDExpr]   

test :: [FDExpr] -> FDConstr -> IO ()