Name: hgen Version: 1.4.0 Synopsis: Random generation of modal and hybrid logic formulas Description: Random generation of modal and hybrid logic formulas Category: Theorem Provers License: GPL License-file: LICENSE Author: Carlos Areces and Juan Heguiabehere Maintainer: areces@loria.fr Homepage: http://www.glyc.dc.uba.ar/intohylo/hgen.php Build-type: Simple Cabal-version: >= 1.6 Flag static Description: Build a static binary Default: False Executable hgen Main-is: hgen.hs other-modules: Params hs-source-dirs: src ghc-options: -Wall Build-Depends: base >= 4, base < 5, random >= 1, random < 2, mtl >= 2, mtl < 3, filepath >= 1, filepath < 2, directory >= 1, directory < 2, hylolib == 1.4.* if flag(static) ghc-options: -static -optl-static -optl-pthread