Constants

hiVersion

mAX_TUPLE_SIZE

mAX_CTUPLE_SIZE

mAX_REDUCTION_DEPTH

mAX_SOLVER_ITERATIONS

wORD64_SIZE

tARGET_MAX_CHAR