8 Jul
2023
8 Jul
'23
6:26 p.m.
Hi all,
I am delighted to announce that our participation in the International Parallel SAT
Competition 2023 (https://satcompetition.github.io/2023/) with our tool Painless
(https://www.lrde.epita.fr/wiki/Painless) has resulted in us being awarded the bronze
medal !
Regards,
Souheib.