Open StephanGocht opened 2 years ago
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.
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.