Gentoo Portage Overlays - dev-lang/souffle

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