Repositórios de código aberto acompanhados de niklasso, ordenados por estrelas.
Um resolvedor de SAT minimalista e de alto desempenho.
