A set of tools for learning SAT more effectively.