Talk:Satz (SAT solver)