souffle-lang/souffle
@souffle-langSoufflé 是 Datalog 的变体，供工具设计人员使用 Horn 子句制作分析。Soufflé 从逻辑规格中合成原生并行 C++ 程序。
星数
1,155
Fork 数
242
语言
C++
许可
UPL-1.0
最后推送
2个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Soufflé 是 Datalog 的变体，供工具设计人员使用 Horn 子句制作分析。Soufflé 从逻辑规格中合成原生并行 C++ 程序。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。