ZChaff

From Wikipedia, the free encyclopedia

You have new messages (last change).
The correct title of this article is zChaff. The initial letter is shown capitalized due to technical restrictions.

zChaff is a fast and widely used SAT instance solver which consists of a software implementation of the Chaff algorithm. It was originally written by Dr. Lintao Zhang, hence the “z”. It is now maintained by researchers at Princeton University and available for download as both source code and binaries on Linux. zChaff is free for non-commercial use.

[edit] External links

Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../z/c/h/ZChaff_e595.html"