SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)

This article relies largely or entirely on a single source. (November 2020)

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (November 2020)

The topic of this article may not meet Wikipedia's general notability guideline. (January 2021)

References