|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
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