liblrsgmp-062
Reverse Search Vertex Enumeration library
lrslib is a library for the reverse search algorithm for vertex enumeration/convex hull problems and comes with a choice of three arithmetic packages. Input file formats are compatible with Komei Fukuda's cdd package. Computations are done in multiprecision arithmetic.
GPL-2.0+cloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...