Generator Executable
The gen_exec generator executable is able to generate formulas for various functors of variable size with optional fixpoint support.
Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
The gen_exec generator executable is able to generate formulas for various functors of variable size with optional fixpoint support.