/*
 * CSP.h
 *
 *  Created on: 05/12/2015
 *      Author: pedro
 */

#ifndef SRC_CSPS_CSP_H_
#define SRC_CSPS_CSP_H_

void load_and_solve_CSP(int* csp_dims);

#endif /* SRC_CSPS_CSP_H_ */