Dear all, the evaluation phase has just started. Find a list of all participating solvers here. Please contact us if you spot errors.
14 Jun 2025
Dear all, the evaluation phase has just started. Find a list of all participating solvers here. Please contact us if you spot errors.