Chaff es un algoritmo para resolver instancias del problema de satisfacibilidad booleano en programación. Fue diseñado por investigadores de la Universidad de Princeton . El algoritmo es una instancia del algoritmo DPLL con una serie de mejoras para una implementación eficiente.
Algunas implementaciones disponibles del algoritmo en software son mChaffy zChaff, siendo esta última la más conocida y utilizada. zChaff fue escrito originalmente por el Dr. Lintao Zhang, ahora [ aclarar ] en Microsoft Research , de ahí la "z". Ahora es mantenido por investigadores de la Universidad de Princeton y está disponible para descargar como código fuente y binarios en Linux . zChaff es gratuito para uso no comercial.