lang/souffle 2.5 NetBSD

Variant of Datalog

Homepage
Browse the package
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc
Maintainer: [email protected]
Last update: 2026-07-03
Commit: 6d7c127ac5
License: upl-1.0
Categories: lang
Package size: 2277.6 KiB, 13796.7 KiB installed

Description

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.

Install

Binary package:

pkgin install souffle

From pkgsrc:

cd /usr/pkgsrc/lang/souffle && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	Version
NetBSD 10.1 x86_64	2.5
NetBSD 10.1 aarch64	2.5
SmartOS / illumos x86_64	2.5
macOS 15 arm64	2.5

Dependencies

Run dependencies 5

databases/sqlite3
devel/libffi
devel/ncurses
lang/python313
parallel/openmp

No port depends on this one.

Commit history 1

Date Commit Credits Log message

2026-07-03 6d7c127ac5 alnsn Remove my whining about slow tests.