Repositorios de código abierto monitorizados de sarsko, ordenados por estrellas.
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
