souffle-lang/souffle
@souffle-langSoufflé ist eine Datalog-Variante für Werkzeugentwickler, die Analysen in Horn-Klauseln erstellen. Soufflé generiert ein natives, paralleles C++-Programm aus einer Logikspezifikation.
Sterne
1.155
Forks
242
Sprache
C++
Lizenz
UPL-1.0
Letzter Push
vor 2 Monaten
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.