GaSatSolver.h File Reference

---

Detailed Description

GaSatSolver class using GAlib library to solve SAT problem.

Author:

Kamil Dudka <xdudka00@gmail.com>

Date:

2008-11-05

Definition in file GaSatSolver.h.

#include "SatSolver.h"

Include dependency graph for GaSatSolver.h:

Go to the source code of this file.

Namespaces
namespace	FastSatSolver
Classes
class	GaSatItem
	ISatItem implementation used by GaSatSolver. More...
class	SatItemGalibAdatper
	Leightweight, optimized ISatItem implementation used by GaSatSolver time-critical parts of code. More...
class	GaSatSolver
	Solver using GAlib library to solve SAT problem. More...

---