Soufflé: a Datalog Synthesis Tool for Static Analysis(souffle-lang.github.io)2 points·by codewithcheese·4 lata temu·0 commentssouffle-lang.github.ioSoufflé: a Datalog Synthesis Tool for Static Analysishttps://souffle-lang.github.io/0 commentsPost comment—