davidwzhao / souffle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from souffle-lang/souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
License: Universal Permissive License v1.0