Tools for solving SAT problems, creating and analyzing SAT instances.