-- | 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()