Color code rules in trace. #33
Description
It would be nice to have colored output also for the reprinting of lines in the proof file. Especially, having different colors for integers and constraint ids in reverse polish notation would be useful.
{{ message }}