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
Centos-stream 8 aarch64 (0)*, x86_64 (0)* Centos-stream 8 (6 downloads)
Epel for CentOS 8 aarch64 (0)*, x86_64 (0)* Epel for CentOS 8 (5 downloads)
Fedora 34 aarch64 (0)*, x86_64 (0)* Fedora 34 (6 downloads)
Fedora 35 aarch64 (0)*, x86_64 (0)* Fedora 35 (4 downloads)
Fedora rawhide aarch64 (0)*, x86_64 (0)* Fedora rawhide (5 downloads)

* Total number of packages downloaded in the last seven days.