Souffle – Some Notes 2023-6-10 20:43 | 1,255 | 0 | 程序分析 | 2023-6-10 20:44 1603 字 | 27 分钟 补充之前没有太了解的一些 tricks,添加一下examples和description。 若是该文中没有提及的,推荐参考 官方Docs 还望见谅 总体上的语法: Program | Soufflé • A Datalog Synthesi… datalogsouffle程序分析