api to use SAT solver