Annonce

Download

annonce@lrde.epita.fr

July 2023

1 participants
1 discussions

SAT competition parallel track medal
by Souheib Baarir 08 Jul '23

08 Jul '23

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.

1 0