The Soufflé Project
Results
1
repositories owned by
The Soufflé Project
souffle
869
Stars
192
Forks
Watchers
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.
