BlindSatSolver.h File Reference

---

Detailed Description

BlindSatSolver class using brute force method to solve SAT problem.

Author:

Kamil Dudka <xdudka00@gmail.com>

Date:

2008-11-05

Definition in file BlindSatSolver.h.

#include "SatSolver.h"

Include dependency graph for BlindSatSolver.h:

Go to the source code of this file.

Namespaces
namespace	FastSatSolver
Classes
class	LongSatItem
	ISatItem implementation used by BlindSatSolver. More...
class	BlindSatSolver
	Solver using brute force method to solve SAT problem. More...

---