@hackage ifscs0.2.0.0

An inductive-form set constraint solver

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      travitch@cs.wisc.edu

    • Links

    • Versions

    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.