hybrid logics random formulas generator
root
You need to configure, build and install hgen in order to use it. The usual steps would be:
$ runhaskell Setup.lhs configure --prefix=$HOME
$ runhaskell Setup.lhs build
$ runhaskell Setup.lhs install
Refer to the Cabal documentations for more options (http://www.haskell.org/cabal)