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

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.