Exported names: Imported modules:

Module XFD

Summary of exported operations:

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

solveFDwith
                  :: Solvers -> [Option] -> [FDExpr] -> FDConstr -> [[Int]]

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