Hi Johannes, yes, we'll need an extra step in the registration for that. I'll send the information around once the infrastructure for certification is up and running (which will happen after CADE, I guess). Best Florian On 7/21/25 15:25, Johannes Waldmann wrote:

Hi Florian,

when the executor does `solver --cert` then my solver knows what to do.

but how do you know what solvers have this option? This needs some extra step in registration?

as in previous years, matchbox wants to do both (cert and uncert), to show the difference.

- Johannes