Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/souffle
Datalog compiler, synthesizes C++ program from logic specification
Screenshots
http://souffle-lang.github.io/
https://github.com/souffle-lang/souffle/
souffle-2.4.1
~amd64 ~x86
+ffi java +ncurses +openmp python +sqlite swig test +zlib java python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12
View
Download
Browse
License: UPL-1.0
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
ChangeLog
ChangeLog Not Found