souffle-lang / souffleLinks

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.
988Updated 3 weeks ago

Alternatives and similar repositories for souffle

Users that are interested in souffle are comparing it to the libraries listed below

Sorting: