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 37 | aarch64 (25)*, x86_64 (26)* | Fedora 37 (0 downloads) |
Fedora 38 | aarch64 (10)*, x86_64 (19)* | Fedora 38 (26 downloads) |
Fedora 39 | aarch64 (8)*, x86_64 (16)* | Fedora 39 (17 downloads) |
Fedora 40 | aarch64 (0)*, x86_64 (0)* | Fedora 40 (3 downloads) |
Fedora rawhide | aarch64 (24)*, x86_64 (23)* | Fedora rawhide (57 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable cmuellner/souffle
More info about enabling Copr repositories