/souffle

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.

Primary LanguageC++Universal Permissive License v1.0UPL-1.0

Stargazers

No one’s star this repository yet.