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 |
---|---|---|
![]() |
aarch64 (19)*, x86_64 (25)* | Fedora 40 (0 downloads) |
![]() |
aarch64 (7)*, x86_64 (11)* | Fedora 41 (18 downloads) |
![]() |
aarch64 (9)*, x86_64 (3)* | Fedora 42 (11 downloads) |
![]() |
aarch64 (68)*, x86_64 (55)* | Fedora rawhide (86 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable cmuellner/souffle
More info about enabling Copr repositories