Skip to content
This repository has been archived by the owner on Dec 20, 2017. It is now read-only.
/ souffle Public archive

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

License

Notifications You must be signed in to change notification settings

oracle/souffle

Soufflé

Build Status

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.

Project Moved

This project is now deprecated.

Its new home is now officially maintained at https://github.com/souffle-lang.

About

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

Topics

Resources

License

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published