S souffle-lang.github.io Soufflé: A Datalog Synthesis Tool for Static Analysis 84 points nickmain 3 years ago 21 comments
