Giters

souffle-lang / 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.

Home Page:http://souffle-lang.github.io/

Repository from Github https://github.comsouffle-lang/souffleRepository from Github https://github.comsouffle-lang/souffle

souffle-lang/souffle Stargazers