ZChaff -
Static variable in class kodkod.engine.satlab.SATFactory
The factory that produces instances of the zchaff solver from Princeton;
the returned instances
support only basic sat solver operations (adding variables/clauses,
solving, and obtaining a satisfying solution, if any).