sli

A reasoning engine for FO(·)

Requires some adequately up to date rust version (at minimum 1.79) and zig 0.11.0.

Build the cli with the following command cargo build --release (cargo build for a debug build).

Run tests with cargo test.

Any linux distro that uses musl libc is unable to build currently (notably Alpine see #16).

Testing

The justfile contains common commands for this project. These can be run using just.

An non-exhaustive enumeration of the most useful recipes, run just to see all recipes:

• just ci: runs the entire ci locally, stopping after a step fails. Each step is part of the ci group which can be seen when running just --list (or the default recipe just).
• just build-ci and just publish-ci: build and publish the ci container respectively, publishing the container requires certain privileges.