Soufflé is a variant of Datalog for tool designers crafting analyses in ...
Datalog compiler embedded in Rust as a procedural macro
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
optimize your home bar with ✨logic programming✨
DEPRECATED. Soufflé is a translator of declarative Datalog programs into...