Package picosat

A SAT solver

PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF). PicoSAT can generate proofs
and cores in memory by compressing the proof trace. It supports the
proof format of TraceCheck.

Version: 965

General Commands

picomus Minimal Unsatisfiable Core (MUS) generator
picosat Satisfiability (SAT) solver with proof and core support
picosat.trace alias for picosat