SAT solver with proof and core support
