14#ifndef OR_TOOLS_SAT_C_API_CP_SOLVER_C_H_
15#define OR_TOOLS_SAT_C_API_CP_SOLVER_C_H_
25 const void* cparams,
int cparams_len,
26 void** cres,
int* cres_len);
34 const void* cparams,
int cparams_len,
void** cres,
void SolveCpInterruptible(void *cenv, const void *creq, int creq_len, const void *cparams, int cparams_len, void **cres, int *cres_len)
void SolveCpDestroyEnv(void *cenv)
void SolveCpStopSearch(void *cenv)
void SolveCpModelWithParameters(const void *creq, int creq_len, const void *cparams, int cparams_len, void **cres, int *cres_len)