gentoo.mahdi.cz

  

dev-lang:souffle


Datalog compiler, synthesizes C++ program from logic specification

souffle-2.4.1UPL-1.0
download~amd64 ~x86gentoo