A trace checker for #SAT traces
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
A checker for #SAT traces.
RUSTFLAGS="-C target-cpu=native" cargo build --release