iterative-forward-search (hackage): An implementation of the IFS contraint satisfaction algorithm
Keywords: constraints|library|mit