Boxed and unboxed arrays for monad transformers
Monadic Constraint Programming framework
Gecode extension for the Monadic Constraint Programming Framework (code generator and runtime solver backend)
This is an experimental subword construction algorithm for the adp-multi package. It uses the constraint programming framework monadiccp with the constraint solver OvertonFD. It is slower than the built-in algorithm in adp-multi and serves research purposes. Use it by importing ADP.Multi.Constraint.All instead of ADP.Multi.Rewriting.All in your grammar files.