niklasso's tracked open-source repos, sorted by stars.
A minimalistic and high-performance SAT solver
