Simplified SAT Solver interface by removing redundant init method