adp-multi-monadiccp-0.2.1: Subword construction in adp-multi using monadiccp

Safe HaskellNone

ADP.Multi.Constraint.All

Description

Convenience module to import the specific rewriting function model and combinator implementation known as constraint solver.