ifscs-0.1.0.0: An inductive-form set constraint solver

This is an implementation of an (inclusion) set constraint solver. Set constraints are a convenient and efficient way to specify and solve graph reachability problems.

See the Constraints.Set.Solver module for detailed documentation.