benchmarks for hybrid logics
root
The HyLoBench formula generator
How to use
By default hylobench
generates all formulas kinds up to a default parameter (5).
To generate formulas of parameter 10:
$ hylobench -s 10
To list available formulas kinds:
$ hylobench -l
To generate only formulas kinds whose name matches some substring "pigeon":
$ hylobench -b pigeon
Adding new formulas kinds
Edit the module Benchmarks by defining a new FormulaBench
and add it to the benchmarks
list. Then recompile hylobench
and run it.
To send us your formulas kinds, either:
- use the
darcs send
functionality - or send us your
Benchmarks.hs
file by mail at guillaumh@gmail.com.