LoreonLabsPlatform
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.
Latest commits.
No recent commits available.
Builders behind this project.
No contributor data available.