Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with fourier-motzkin-elimination
A curated list of projects in awesome lists tagged with fourier-motzkin-elimination .
https://github.com/juliapolyhedra/polyhedra.jl
Polyhedral Computation Interface
convex-hull fourier-motzkin-elimination julia optimization polyhedra polyhedral-computations polyhedron polytope polytopes
Last synced: 22 Dec 2024
https://github.com/iith-compilers/utvpi-oa
Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination
fourier-motzkin-elimination linear-programming octagon-domain over-approximations polyhedra
Last synced: 06 Nov 2024
https://github.com/yannick-kees/fourier-motzkin
Implementation of the Fourier-Motzkin algorithm in C++. Fourier–Motzkin elimination is a algorithm for eliminating variables from a system of linear inequalities. In practice it is used e.g. for deciding if a set is non-empty
c-plus-plus fourier-motzkin-elimination linear-optimization linear-programming simplex-algorithm
Last synced: 23 Nov 2024
