@hackage ifscs0.2.0.0

An inductive-form set constraint solver

Categories
License
BSD-3-Clause
Maintainer
travitch@cs.wisc.edu
Links
- Documentation
- No source repository
- Security
Versions
- 0.2.0.0 Tue, 22 Oct 2013

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- containers
- failure >=0.2 && <0.3
Dependents (2)
@hackage/acme-everything, @hackage/llvm-analysis

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.

@hackage ifscs0.2.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (2)