mad-props-0.2.1.0: Monadic DSL for building constraint solvers using basic propagators.

Safe HaskellNone
LanguageHaskell2010

Props.Internal.Props

Documentation

solve :: Graph -> Maybe Graph Source #

solveAll :: Graph -> [Graph] Source #