Documentation

example_main :: (forall s. FDSolver s => [String] -> FDTree s [FDExpr s]) -> IO ()Source

example_main_void :: (forall s. FDSolver s => FDTree s [FDExpr s]) -> IO ()Source

example_main_single :: Read n => (forall s. FDSolver s => n -> FDTree s [FDExpr s]) -> IO ()Source

type FDModel = FDSolver s => Tree (FDWrapper s) [FDExpr s]Source