Expose coalgebra printing as debug command
Since the latest work changes the minimize
command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the debug
subcommand.
Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
Since the latest work changes the minimize
command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the debug
subcommand.