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.
► Server maintenance is scheduled on 14.10.24 from 07:00 to 09:00
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.