Minimal Disagreement Parity (MDP) benchmark

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