Utilities for encoding and solving SAT problems