Soufflé: a Datalog Synthesis Tool for Static Analysissouffle-lang.github.io2 points·codewithcheese··0 commentsOpen articleSaveView on HN