/sharptrace

A trace checker for #SAT traces

Primary LanguageRust

A checker for #SAT traces.

Building

RUSTFLAGS="-C target-cpu=native" cargo build --release