We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A trace checker for #SAT traces
A checker for #SAT traces.
RUSTFLAGS="-C target-cpu=native" cargo build --release