@hackage hgen1.4.0

Random generation of modal and hybrid logic formulas

Categories
License
LicenseRef-GPL
Maintainer
areces@loria.fr
Links
- Homepage
- Documentation
- No source repository
Versions
- 1.4.0 Thu, 5 Jul 2012
- 1.2.0 Mon, 27 Sep 2010

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary

Random generation of modal and hybrid logic formulas