Add sharpSAT to tools.