The ifscs package

[Tags: bsd3, library]

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.


Properties

Version0.2.0.0
Dependenciesbase (==4.*), containers, failure (==0.2.*)
LicenseBSD3
AuthorTristan Ravitch
Maintainertravitch@cs.wisc.edu
CategoryConstraints
UploadedTue Oct 22 05:20:01 UTC 2013 by TristanRavitch
DistributionsNixOS:0.2.0.0
Downloads229 total (21 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees