monadiccp-0.7.3: Constraint Programming

Control.CP.FD.Solvers

Documentation

pfs :: Ord a => PriorityQueue a (a, b, c)Source