SAT Solver.
Currently, a stochastic local search based on probSAT and a CDCL solver based on MiniSAT has been implemented. More algorithms will be available soon.
This projetct is still in development. The APIs can change before the first stable release v1.0.0.