Fast SAT Solver Namespace List

Here is a list of all namespaces with brief descriptions:

FastSatSolver	Namespace encapsulating whole project
FastSatSolver::StreamDecorator	Sett of common stuff to work with streams. (colored console output, etc.)
std

---