Introduction to POLKA POLKA and the other polyhedra libraries Installing POLKA Using POLKA C API OCaml API Appendices