polylib: testlib.c File Reference

# testlib.c File Reference

`#include <stdio.h>`
`#include <polylib/polylib.h>`

Go to the source code of this file.

## Functions
int | main ()

## Function Documentation

int main | ( |  | ) |

Definition at line 54 of file testlib.c.

References Constraints2Polyhedron(), Domain_Free(), DomainIntersection(), Matrix_Free(), Matrix_Print(), Matrix_Read(), P_VALUE_FMT, Polyhedron2Constraints(), Polyhedron_Preimage(), Polyhedron_Print(), and PolyhedronIncludes().