ParaCuber Documentation
=======================

@mainpage

ParaCuber is an experimental parallel cube-and-conquer SAT solver. The special property of this approach is the
parallel finding of cubes. This is done using a @ref CNFTree.
