Fast SAT Solver Documentation

SVN Snapshot

SAT Problem solver using GAlib library.

Author:

Kamil Dudka <xdudka00@stud.fit.vutbr.cz>

Date:

2008-11-05

Remarks:

• Module SatSolver - Class AbstractSatSolver with its derived classes BlindSatSolver and GaSatSolver and their observers.
• Module SatProblem - Internal SAT Problem representation with necessary tools for reading and working with SAT Problems.
• I/O module - Set of common classes for I/O used in this project.

---