@hackage / hgen

Random generation of modal and hybrid logic formulas

Latest1.5.0

Dependencies

executable:hgen (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4
- License: BSD-3-Clause
@hackage / cmdargs Command line argument processing
- Version: >=0.10.14
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2
- License: BSD-3-Clause
@hackage / hylolib Tools for hybrid logics related programs
- Version: >=1.5
- License: LicenseRef-GPL
@hackage / random Pseudo-random number generation
- Version: >=1
- License: BSD-3-Clause