@hackage / iterative-forward-search

An IFS constraint solver