Erfasste Open-Source-Repos von souffle-lang, sortiert nach Sternen.
Soufflé ist eine Datalog-Variante für Werkzeugentwickler, die Analysen in Horn-Klauseln erstellen. Soufflé generiert ein natives, paralleles C++-Programm aus einer Logikspezifikation.
