Need to allow for one spare encoding for the non-executed case with no suitable stores.

[satcheck.git] / benchmarks / satcheck-precompiled / seqlock / clean.sh

#!/bin/bash
rm -f seqlock.cc seqlock dimacs.out dimacs.cnf logall log_file