packages feed

adp-multi-monadiccp-0.1: src/ADP/Multi/Constraint/All.hs

-- | Convenience module to import the specific rewriting function model
--   and combinator implementation known as /constraint solver/.
module ADP.Multi.Constraint.All (module X) where

import ADP.Multi.Rewriting.Model as X
import ADP.Multi.Constraint.Combinators()