/**
 * Implementations of various constraints for MiniSAT.
 * 
 * One just needs to swap the {@link org.sat4j.minisat.core.DataStructureFactory} in {@link org.sat4j.minisat.core.Solver} to change 
 * the internal representation of the constraints.
 */

package org.sat4j.minisat.constraints;

