ifscs

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.