cmuellner/souffle

Description

Unofficial souffle packages

Soufflé (Systematic, Ontological, Undiscovered Fact Finding Logic Engine) is a logic programming language inspired by Datalog.

Installation Instructions

Quickstart:

sudo dnf copr enable cmuellner/souffle
sudo dnf install souffle

The documentation can be found here: https://souffle-lang.github.io/docs.html

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release	Architectures	Repo Download
Fedora 39	aarch64 (16)*, x86_64 (21)*	Fedora 39 (0 downloads)
Fedora 40	aarch64 (7)*, x86_64 (13)*	Fedora 40 (19 downloads)
Fedora 41	aarch64 (3)*, x86_64 (4)*	Fedora 41 (9 downloads)
Fedora 42	aarch64 (0)*, x86_64 (0)*	Fedora 42 (0 downloads)
Fedora rawhide	aarch64 (39)*, x86_64 (28)*	Fedora rawhide (75 downloads)

* Total number of downloaded packages.