@hackage hgen1.5.0

Random generation of modal and hybrid logic formulas

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

Installation
In your cabal file:
Dependencies (0)
- base <5
- cmdargs >=0.10.14
- hylolib >=1.5
- mtl >=2
- random <2
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary

Random generation of modal and hybrid logic formulas