Add new interface for AC3 constraint formulation