. . . . . . . . "997644246"^^ . . . "SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers."@en . . "9578962"^^ . "530"^^ . . . "Satz (SAT solver)"@en . . . . . . . . . "SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers."@en . . . . . . . . .