PACE 2025: Correctness of the exact solvers

14 Nov 2024

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