Picosat

• picomus(1) simple minimal unsatisfiable core extractor
• picosat.trace(1) SAT solver with proof and core support
• picosat(1) SAT solver with proof and core support