Skip to content

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.

Merge request reports

Loading