Skip to content

lrs wrapper module for Julia

License

Unknown, GPL-2.0 licenses found

Licenses found

Unknown
LICENSE.md
GPL-2.0
COPYING
Notifications You must be signed in to change notification settings

JuliaPolyhedra/LRSLib.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LRSLib

Build Status References to cite
Build Status DOI
Codecov branch

LRSLib.jl is a wrapper for lrs. This module can either be used in a "lower level" using the API of lrslib or using the higher level interface of Polyhedra.jl.

As written in the user guide of lrs:

A polyhedron can be described by a list of inequalities (H-representation) or as by a list of its vertices and extreme rays (V-representation). lrs is a C program that converts a H-representation of a polyhedron to its V-representation, and vice versa. These problems are known respectively at the vertex enumeration and convex hull problems.

I have forked lrs to add a few functions to help doing the wrapper. These changes are not upstream yet so this version is used instead of the upstream version.