Satz (SAT solver)

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.

References

This article is issued from Wikipedia - version of the 1/9/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.