Convex hulls of polyhedra with exact arithmetic
The C code of lrslib implements the reverse search algorithm for vertex enumeration and convex hull problems. Its input file format is compatible with cddlib. All computations are done exactly in either multiple precision or fixed integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.
| Linter | Message | Location |
|---|---|---|
| compiler-for-target Check that cross-compilers are used when cross-compiling | 'CC' should be set to '(cc-for-target)' instead of 'gcc' |
|