npm

souffle

Logic-based static analysis framework for program verification

brewmacoslinux
Try with needOr install directly
Source

About

Logic Defined Static Analysis

Commands

souffle

Examples

Analyze a Datalog program and generate C++ code$ souffle -c program.dl -o program.cpp
Run a Datalog program directly with profiling enabled$ souffle -p program.dl
Compile Datalog program to executable binary$ souffle program.dl -o ./program