debug_sat (cargo): A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
Keywords: proving|theorem|debug|automated|sat