void addTableEntry(void* solver,void *table, void *inputs, unsigned int inputSize, long result);
void *completeTable(void* solver,void *table, unsigned int behavior);
void *applyFunction(void* solver,void *function, void**array, unsigned int numArrays, void* overflowstatus);
void addTableEntry(void* solver,void *table, void *inputs, unsigned int inputSize, long result);
void *completeTable(void* solver,void *table, unsigned int behavior);
void *applyFunction(void* solver,void *function, void**array, unsigned int numArrays, void* overflowstatus);