Skip to content

Generator Executable

Simon Pruckerrequested to merge
gen_exec into master

The gen_exec generator executable is able to generate formulas for various functors of variable size with optional fixpoint support.

Merge request reports