2 ms·well a SAT solver is kinda sorta a theorem prover right...?by baq 16d agowell a SAT solver is kinda sorta a theorem prover right...?