gsjj::passive::CNF Namespace Reference

Contains every method that relies on a SAT solver with CNF clauses. More...

Classes
class	BinaryCNFMethod
	The binary method with a CNF SAT solver. More...
class	HeuleVerwerCNFMethod
	The Heule and Verwer method. More...
class	SATCNFMethod
	Base class for every method that relies on a SAT solver. More...
class	UnaryCNFMethod
	The Grinchtein, Leucker and Piterman's unary method. More...

Detailed Description

Contains every method that relies on a SAT solver with CNF clauses.

These methodes use Maple.