hgen
Version 1.4.0 revision 0 uploaded by GuillaumeHoffmann.
Package meta
- Synopsis
- Random generation of modal and hybrid logic formulas
- Description
Random generation of modal and hybrid logic formulas
- Author
- Carlos Areces and Juan Heguiabehere
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- n/a
- Homepage
- http://www.glyc.dc.uba.ar/intohylo/hgen.php
- Maintainer
- areces@loria.fr
- Package URL
- n/a
- Stability
- n/a