Soufflé: a Datalog Synthesis Tool for Static Analysissouffle-lang.github.io1 pointnickmain4 years ago