Repositórios de código aberto acompanhados de sarsko, ordenados por estrelas.
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
