Evaluation between Witness-producing solvers and witness checkers
Expriation checkpoint 1.1.2025
Manager: Antti Hyvärinen
Developer: Martin Blicha, Natasha Sharygina, Patrick Thomas Eugster, Rodrigo Benedito Otoni