souffle-lang.github.io

↩

Systematic, Ontological, Undiscovered Fact Finding Logic Engine

2022-12-10 21:42:11 (Hacker News)

Source: Hacker News

Soufflé: A Datalog Synthesis Tool for Static Analysis

2022-11-30 10:39:10 (Hacker News)

Source: Hacker News

↩