See example codes such as testcdd*.c , testlp*.c, redcheck.c, adjacency.c, and simplecdd.c in the src and src-gmp subdirectories of the source distribution.