X-SAT

An advanced circuit-based sat solver

// repository documentation