Sat solvers - cleanup, documentation