PACE 2025: Correctness of the exact solvers

We announce new rules for ensuring the correctness of the exact solvers. Find the details here.