ParentFull threadyencabulator·The proof either passes the SAT solver in a reasonable amount of time, or it doesn't.View on HN