Dépôts open source suivis de sarsko, triés par étoiles.
CreuSAT - Un solveur SAT formellement vérifié, écrit en Rust et vérifié avec Creusot.
