fourier-motzkin-elimination

There are 7 repositories under fourier-motzkin-elimination topic.

  • JuliaPolyhedra/Polyhedra.jl

    Polyhedral Computation Interface

    Language:Julia173813127
  • stephane-caron/pyfme

    Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy

    Language:Python9203
  • sadraddini/pyfomo

    Fourier-Motzkin Elimination Method for Polyhedral Projection

    Language:Python4000
  • IITH-Compilers/UTVPI-OA

    Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination

    Language:C++3500
  • BayashiPascal/FMB

    FMB algorithm implementation to perform intersection detection of pairs of static/dynamic cuboid/tetrahedron in 2D/3D by using the Fourier-Motzkin elimination method

    Language:POV-Ray SDL1300
  • NiklasLundstrom/Fourier-Motzkin

    A C-implementation of Fourier-Motzkin elimination

    Language:C0100
  • 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

    Language:C++0100