Erfasste Open-Source-Repos von niklasso, sortiert nach Sternen.
Ein minimalistischer und leistungsstarker SAT-Solver
