SatProblem.h File Reference

---

Detailed Description

SAT Problem representation.

Author:

Kamil Dudka <xdudka00@gmail.com>

Date:

2008-11-05

Definition in file SatProblem.h.

#include <string>
#include "Scanner.h"

Include dependency graph for SatProblem.h:

Go to the source code of this file.

Namespaces
namespace	FastSatSolver
Classes
class	VariableContainer
	Container for variables names. More...
class	FormulaContainer
	Container for evaluable formulas. More...
class	SatProblem
	SAT Problem module's facade. More...

---