@hackage / ifscs

An inductive-form set constraint solver

Latest0.2.0.0

About

Metadata

  • Last updated , by TristanRavitch
  • License BSD-3-Clause

  • Maintained by: travitch@cs.wisc.edu

  • Lottery factor: 0

Links

Installation

Readme

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.