splr 0.19.0

A modern CDCL SAT solver in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#!/usr/bin/env fish

set target $argv[1]
printf "%s\n" $target

splr -c $target

switch $status
    case 10
        echo "sat"
        dmcr $target
        echo $status
        if test $status -eq 0
            echo "✅ $target"
        else
            echo "❌ $target"
        end
    case 20
        echo "unsat"
        drat-trim $target proof.drat
        if test $status -eq 0
            echo "✅ $target"
        else
            echo "❌ $target"
        end
    case 124
        echo "timeout"
    default
        echo "unknown return value"
end