PAKCS
Exported names: Imported modules:

Module XFD.Solvers.SAT.Lingeling

Summary of exported operations:

solverConfig :: SolverConfig   
solveFD :: [Option] -> [FDExpr] -> FDConstr -> [Int]   
solveFDAll :: [Option] -> [FDExpr] -> FDConstr -> [[Int]]   
solveFDOne :: [Option] -> [FDExpr] -> FDConstr -> [Int]   

Exported operations:

solveFD :: [Option] -> [FDExpr] -> FDConstr -> [Int]   

solveFDAll :: [Option] -> [FDExpr] -> FDConstr -> [[Int]]   

solveFDOne :: [Option] -> [FDExpr] -> FDConstr -> [Int]