Erfasste Open-Source-Repos von potassco, sortiert nach Sternen.
🦉 Ein Grounder und Solver für Logikprogramme.
