Bug#425925: ITP: haskell-stp -- Haskell library solver for the Simple Temporal Problem

[Matthew Danish <mdanish@andrew.cmu.edu>]

Package: wnpp
Version: N/A; reported 2007-05-24
Severity: wishlist

Package name : haskell-stp
Version : 1.0
Upstream Author : Matthew Danish
URL : http://mapcar.org/haskell/STP
License : MIT
Description :
 Simple Temporal networks are means for expressing and solving
 graphs meant to be interpreted as time points and constrained
 bounds between them.  This library provides two implementations
 of Simple Temporal networks, STP and Stone.  The former is
 a proof-of-concept implemented using the Inductive Graph library.
 The latter is an efficient implementation using ST, arrays, and
 is tested against the former using QuickCheck.

-- 
-- Matthew Danish -- user: mrd domain: cmu.edu
-- OpenPGP public key: C24B6010 on keyring.debian.org