Module solvers 

solvers for hard problems.

Modules

sat

module that holds objects and traits that performing sat solving in various ways.