/**
 * Implementations of clausal constraints.
 * 
 * Implementation for both counter based and watched literals is provided.
 * Specific implementation for binary and ternary clauses proposed by 
 * Lawrence Ryan are available as well.
 */

package org.sat4j.minisat.constraints.cnf;

