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