Dépôts open source suivis de niklasso, triés par étoiles.
Un solveur SAT minimaliste et haute performance.
