https://github.com/fslivovsky/qute
Revision f13f416789a1ed9f1ef7b450a39b27c40c82f34e authored by peitl on 12 July 2022, 11:40:07 UTC, committed by peitl on 12 July 2022, 11:40:07 UTC
Beyersdorff, Böhm, and Peitl: Should decisions in QCDCL follow prefix order? SAT 2022. Also includes the following misc features: -t, --time-limit to impose a limiting on solving time (in seconds) --machine-readable for CSV-line output containing extra information bash completion in src/qute.bash (copy to where your bash completions reside in order to take effect)
1 parent 51fcb44
Tip revision: f13f416789a1ed9f1ef7b450a39b27c40c82f34e authored by peitl on 12 July 2022, 11:40:07 UTC
Support for out-of-order decisions, as per
Support for out-of-order decisions, as per
Tip revision: f13f416
File | Mode | Size |
---|---|---|
docopt.cpp @ 3dd23e3 | ||
minisat @ 37dc6c6 | ||
src | ||
.gitmodules | -rw-r--r-- | 173 bytes |
CMakeLists.txt | -rw-r--r-- | 736 bytes |
README.md | -rw-r--r-- | 992 bytes |
Computing file changes ...