packages feed

GraphSCC-1.0.4: GraphSCC.cabal

Name:             GraphSCC
Version:          1.0.4
License:          BSD3
License-file:     LICENSE
Author:           Iavor S. Diatchki
Maintainer:       diatchki@galois.com
Category:         Algorithms
Synopsis:         Tarjan's algorithm for computing the strongly connected components of a graph.
Description:      Tarjan's algorithm for computing the strongly connected components of a graph.
Build-type:       Simple
Cabal-Version:    >= 1.6

flag use-maps
  default: False
  description: Use IntMap instead of mutable arrays.

library
  Build-Depends:    base < 10, array, containers
  Exposed-modules:  Data.Graph.SCC
  Extensions:       CPP
  GHC-options:      -O2 -Wall
  if flag(use-maps)
    Other-modules:  Data.Graph.MapSCC
    cpp-options: -DUSE_MAPS
  else
    Extensions:     Rank2Types
    Other-modules:  Data.Graph.ArraySCC

source-repository head
  type:        git
  location:    git://github.com/yav/GraphSCC.git