dev-lang/souffle – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
2.4.1 : 0 T EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Other homepage(s)
https://github.com/souffle-lang/souffle/
Upstream
Bugs-To https://github.com/souffle-lang/souffle/issues/
Remote-Id https://github.com/souffle-lang/souffle
Full description
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
USE flags
Local Use Flags
- +ffi
- swig
Global Use Flags
python_single_target (Use Expand)
License
UPL-1.0
Maintainer(s)
Maciej Barć

Bugs-To	https://github.com/souffle-lang/souffle/issues/
Remote-Id	https://github.com/souffle-lang/souffle