minibrass
minibrass copied to clipboard
Print final MiniZinc solution
I do not know if this is the intended behavior, but I found it confusing that the MiniBrass runner does not output any solutions if not run with the --debug
flag. This PR prints the final solution, if it exists.