DCFL (hackage): Communication Free Learning (i.e. constraint solving) implementation in Haskell
Keywords: data-|library|mit