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