Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
项目介绍
Soufflé 是 Datalog 的一种变体，专为使用 Horn 子句设计分析工具的开发者打造。Soufflé 能根据逻辑规范自动生成原生并行 C++ 程序。【此简介由AI生成】
定制我的领域