gentoo.mahdi.cz
dev-lang
:souffle
Datalog compiler, synthesizes C++ program from logic specification
souffle-2.4.1
UPL-1.0
download
~amd64 ~x86
gentoo