Skip to content

Expose coalgebra printing as debug command

Hans-Peter Deifel requested to merge print-as-debug-command into master

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