lazy-wsks.cabal

name: lazy-wsks
version: 1.0
license: gplv2
build-depends:
  mtl,
  time,
  parsec,
  temporary,
  process,
  bimap,
  split,
  strict-io,
  network
hs-source-dirs:
  src,
  src/automata,
  src/aux,
  src/decision-procedure,
  src/formula-operation,
  src/graph,
  src/parser
main-is:  LazyWSkS.hs