Module XFD.Solvers.SMT.MathSAT

Summary of exported operations:

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]