Cmd API cleanup
Currently COOL consists of the cool-coalg
executable which does a bunch of loosely related things as well as a bunch of other small executables with varying naming schemes. I suggest we give the executables a unified naming scheme and split the cool-coalg
executable into multiple executables that have a single usage domain. E.g. the SAT and model-checking functionality doesn't have to be in the same executable as they share almost no parameters or use-cases