souffle
Datalog compiler, synthesizes C++ program from logic specification
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.
homepage ↗homepage ↗ github: souffle-lang/souffle
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 2.5-r1 | 1 | 15 h | details › |
Versions & arches
Use flags of 2.5-r1
- +ffi Support c++ functors with arbitrary number of arguments
- java Add support for Java
- +ncurses Add ncurses support (console display library)
- +openmp Build support for the OpenMP (support parallel computing), requires >=sys-devel/gcc-4.2 built with USE="openmp"
- python Add optional support/bindings for the Python language
- +sqlite Add support for sqlite - embedded sql database
- swig Enable SWIG usage, needed for Java and Python bindings
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
- +zlib Add support for zlib compression
3 expansion flags (python targets, ABIs, cpu flags…)
- python_single_target_python3_12
- python_single_target_python3_13
- python_single_target_python3_14
Runtime dependencies of 2.5-r1
show 32 lines
ffi?
(
)
ncurses?
(
)
openmp?
(
)
python?
(
python_single_target_python3_12?
(
)
python_single_target_python3_13?
(
)
python_single_target_python3_14?
(
)
)
sqlite?
(
)
swig?
(
)
zlib?
(
)
java?
(
)