/*
 * fake_all_different.h
 *
 *  Created on: 21/01/2017
 *      Author: pedro
 */

#ifndef SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_
#define SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_

void c_fake_all_different(unsigned int* X_ids, unsigned int n_vs);

#endif /* SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_ */