OCAML Library

This chapter describes the OCAML API of POLKA. The reader is supposed to have first read the documentation of the C library.

Organization of the OCaml interface
Polka		Library management and global variables
Vector		Constraints, generators, and affine expressions
Matrix		Operations on matrices
Poly		Operation on convex polyhedra
PolkaIO		I/O facilities for interactive use
Example of interactive use