/*
 * gt.h
 *
 *  Created on: 22/01/2017
 *      Author: pedro
 */

#ifndef SRC_CONSTRAINTS_GT_H_
#define SRC_CONSTRAINTS_GT_H_

unsigned int c_gt(unsigned int x_id, unsigned int y_id);
unsigned int c_gt_reif(unsigned int x_id, unsigned int y_id, int reif_v_id);

#endif /* SRC_CONSTRAINTS_GT_H_ */