A B C D E F G H I J K L M N O P Q R S T U V W X Z

Z

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).
ZChaffMincost - Static variable in class kodkod.engine.satlab.SATFactory
The factory the produces cost-minimizing instances of the zchaff solver from Princeton.

A B C D E F G H I J K L M N O P Q R S T U V W X Z