Repositorios de código abierto monitorizados de niklasso, ordenados por estrellas.
Un solucionador SAT minimalista y de alto rendimiento.
