The 2026 edition of the competition for pseudo-Boolean solvers is organized under the aegis of the SAT 2026 conference. The Pseudo-Boolean Competition 2026 is also affiliated with the FloC Olympic Games.

All the details about this new edition of the competition are available at

https://www.cril.univ-artois.fr/PB26/

The deadline for both solvers and benchmarks submission is May 6, 2026.

Obviously, a competition cannot exist without solvers and benchmarks. So, if you have pseudo-Boolean solvers or benchmarks, please make a submission to the PB26 competition!

On behalf of the steering committee: Carlos Ansótegui, Johannes Klaus Fichte, Jakob Nordström, and Olivier Roussel