OASISFormat: 0.4
Name:        TCSLib
Version:     0.2
Synopsis:    A multi-purpose library for OCaml.
Description: A multi-purpose library for OCaml.
Authors:     Oliver Friedmann, Martin Lange
Maintainers: Oliver Friedmann, Martin Lange
OCamlVersion: >= 4.03.0
License:     BSD-3-clause
Homepage: https://github.com/tcsprojects/tcslib
SourceRepository head
  Type: git
  Location: git://github.com/tcsprojects/tcslib.git
  Browser: https://github.com/tcsprojects/tcslib
Plugins:     META
BuildDepends: extlib
BuildTools: ocamlbuild
Library "TCSLib"
  Path:       src
  Modules:    data/Tcslist, data/Tcsarray, data/Tcsbasedata, data/Tcscache, data/Tcsgraph, data/Tcsmaths, data/Tcsqueue,
              data/Tcsset, data/Tcsstrings, utils/Tcsargs, utils/Tcsmessage, utils/Tcsstats, utils/Tcstiming,
              data/FMap, data/FSet,
              automata/Tcsautohelper, automata/Tcsautomata, automata/Tcsautotransform, automata/Tcsgames,
              automata/Tcstransitionsys, automata/parser/Tcsautomataparser, automata/parser/Tcsgameparser,
              automata/parser/Tcstransitionsysparser, formula/Tcsmetaformula, formula/ctlstar/Tcsctlstarformula,
              formula/ltl/Tcsltlformula, formula/ltmc/Tcsltmcformula, formula/mmc/Tcsmmcformula,
              formula/pdl/Tcspdlformula, formula/parser/Tcsformulaparse