Skip to content

Generator Executable

Simon Prucker requested 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