MaxSAT Fuzzing
This page provides the artifact (except benchmarks) for our POS’23 submission and is only meant for reviewing purposes at this point. Other usage is currently prohibited.
After publication of the paper we will make all data available in a permanent way.
maxsatfuzz-logfiles-pos23-submission.tar.xz (1.4GB)
maxsatfuzz-reducedWCNFS-pos23-submission.tar.xz