Implementations of various constraints for MiniSAT. One just needs to swap the DataStructureFactory in Solver to change the internal representation of the constraints.