pkgsrc.se | The NetBSD package collection

./lang/souffle, Souffle is a variant of Datalog

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 2.5, Package name: souffle-2.5, Maintainer: pkgsrc-users

Souffle© is a variant of Datalog for tool designers crafting analyses
in Horn clauses. Souffle© synthesizes a native parallel C++ program
from a logic specification.

Package options: openmp, sqlite

Master sites:

https://github.com/souffle-lang/ (Download)

Filesize: 9480.106 KB

Version history: (Expand)

(2026-04-26) Package added to pkgsrc.se, version souffle-2.5 (created)

CVS history: (Expand)

2026-04-26 00:03:11 by Alexander Nasonov | Files touched by this commit (6)

Log message:
Initial import of lang/souffle, version 2.5.

Souffle is  a variant of Datalog for tool designers crafting analyses
in Horn clauses. Souffle  synthesizes a native parallel C++ program
from a logic specification.