void printConstraints(void *solver);
void serialize(void *solver);
void mustHaveValue(void *solver, void *element);
-void setAlloyEncoder(void *solver);
+void setInterpreter(void *solver, unsigned int type);
void *clone(void *solver);
#ifdef __cplusplus
}