Different Classes for SAT Formula preprocessing. More...

Collaboration diagram for Preprocessing Techniques:

Classes
struct	PreprocessorStats
	Preperocessing technique statistics. More...

class	PreprocessorInterface
	Interface for preprocessor algorithms in SAT solving. More...

struct	preprocess
	The different simplification techniques implemented in PRS framework. More...

class	StructuredBVA
	Structured Binary Variable Addition (SBVA) preprocessing algorithm. More...

Enumerations
enum	PreprocessorAlgorithm { MIX = 0 , BVA = 1 , BVE = 2 , GAUSS = 3 }
	Preprocessing technique type.

Detailed Description

Different Classes for SAT Formula preprocessing.

Classes