SAT Solver

---

Detailed Description

Class AbstractSatSolver with its derived classes BlindSatSolver and GaSatSolver and their observers.

SAT solvers:

• Class GaSatSolver - solver using GAlib library to solve SAT problem
• Class BlindSatSolver - solver using brute force method to solve SAT problem
• Class AbstractSatSolver - common interface of both solvers

Observers:

• Class TimedStop - observer which stops process after specified time
• Class SolutionsCountStop - Observer which stop solver after specified count of solutions is found.
• Class ProgressWatch - Observer which write out progress percentage when it is changed.
• Class FitnessWatch - Observer which write out message when maxFitness value is increased.
• Class ResultsWatch - Observer which write out message when solution is found.

Files
file	BlindSatSolver.h
	BlindSatSolver class using brute force method to solve SAT problem.
file	GaSatSolver.h
	GaSatSolver class using GAlib library to solve SAT problem.
file	SatSolver.h
	ISatItem, IObserver and AbstractSatSolver with its base classes.
file	SatSolverObserver.h
	Set of useful observers attachable to AbstractSatSolver or its base classes.
Classes
class	LongSatItem
	ISatItem implementation used by BlindSatSolver. More...
class	BlindSatSolver
	Solver using brute force method to solve SAT problem. More...
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...
class	AbstractSubject
	Simple subject's base class. More...
class	AbstractProcess
	Base class of simple multi-step process. More...
class	AbstractProcessWatched
	Multi-step process with time-watch extension. More...
class	SatItemVector
	Linear storage container for ISatItem objects. More...
class	SatItemSet
	Associative array for ISatItem objects. More...
class	AbstractSatSolver
	SAT Solver base class. More...
class	TimedStop
	Observer which stops process after specified time. More...
class	ProgressWatch
	Observer which write out progress percentage when it is changed. More...
class	SolutionsCountStop
	Observer which stop solver after specified count of solutions is found. More...
class	FitnessWatch
	Observer which write out message when maxFitness value is increased. More...
class	ResultsWatch
	Observer which write out message when solution is found. More...
interface	ISatItem
	Abstraction of solution candidate. More...
interface	IObserver
	Simple observer's base class. More...
interface	ISubject
	Simple observer's subject base class. More...
interface	IProcess
	Continous process interface. More...
interface	IStopWatch
	Interface of time-watchable activity. More...

---