Soufflé: a Datalog Synthesis Tool for Static Analysishttps://souffle-lang.github.io/ by codewithcheese • 4 years ago 2 0 4 years agoSOsouffle-lang.github.io