A configurable constraint solver with an API based on JSR 331.
Z-combinator in elixir: recursive anonymous functions.
Methods for travelsal and modification of Trees using a zipper.