screwsat

A very simple CDCL SAT Solver in Rust.
This code is really inspired by not522's SAT Solver.

How to use

screwsat can be used as a library and a command line tool.

As a cmd line tool

Install

% cargo install --locked screwsat

Usage

``` % screwsat --help USAGE: screwsat [options] [output-file]

% cat cnf/sat/sat.cnf c Here is a comment. c SATISFIABLE p cnf 5 3 1 -5 4 0 -1 5 3 4 0 -3 -4 0

% screwsat cnf/sat/sat.cnf s SATISFIABLE -1 -2 -3 -4 -5 0

% screwsat cnf/unsat/unsat.cnf s UNSATISFIABLE

% screwsat cnf/sat/sat.cnf satresult.txt % cat satresult.txt SAT -1 -2 -3 -4 -5 0

```

As a library