Post-hoc CP-SAT constraint optimization for genome-scale protein function prediction repair - View it on GitHub