This repository contains a generator and benchmark files for the Learning Parity with Noise SAT benchmark. See the file doc/mdp.pdf for more information.
Subdirectories:
doc:
Benchmark documentation
files:
Benchmark files. Total count=30
src:
Code for the benchmark generator, and other utility programs