Chair of Computer Architecture

University of Freiburg

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

maxsatfuzz-regressionSuite-pos23-submission.tar.xz

maxsatfuzz-sourceCode-pos23-submission.tar.xz