cmuellner/souffle

Project ID: 49279

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 40 aarch64 (19)*, x86_64 (25)* Fedora 40 (0 downloads)
Fedora 41 aarch64 (7)*, x86_64 (11)* Fedora 41 (18 downloads)
Fedora 42 aarch64 (9)*, x86_64 (3)* Fedora 42 (11 downloads)
Fedora rawhide aarch64 (68)*, x86_64 (55)* Fedora rawhide (86 downloads)

* Total number of downloaded packages.