Rsat - Introduction

v0.1.11

Code

The code for rsat is open source and available on GitHub under the MIT License.

Usage

Install

cargo install rsat

Build

cargo build --release

Run

./target/release/rsat file.cnf

where file.cnf is in dimacs format.

Examples

Example 1

p cnf 3 4
1 0
-1 -2 0
2 -3 0
3 0

s UNSATISFIABLE

Example 2

p cnf 3 4
1 0
-1 -2 0
2 -3 0
-3 0

s SATISFIABLE
v 1 -2 -3 0

API Docs

The api docs are available on https://docs.rs/rsat/.