Similar repositories to blegat/SetProg.jl:
blegat/SetProg.jl
github
similar
blegat/SwitchOnSafety.jl
github
similar
jump-dev/MatrixOptInterface.jl
github
similar
JuliaReach/MathematicalSets.jl
github
similar
mtanneau/MathOptPresolve.jl
github
similar
odow/Kokako.jl
github
similar
JuliaPolyhedra/ConvexHull.jl
github
similar
JulieSliwak/MathProgComplex.jl
github
similar
xhub/EMP.jl
github
similar
rdeits/ConditionalJuMP.jl
github
similar
blegat/EntropicCone.jl
github
similar
lanl-ansi/rosetta-opf
github
similar
JuliaAlgebra/FixedPolynomials.jl
github
similar
JuliaReach/BernsteinExpansions.jl
github
similar
ericphanson/ConvexTests.jl
github
similar
JuliaPolyhedra/CDDLib.jl
github
similar
JuliaOpt/MathOptInterfaceGurobi.jl
github
similar
jump-dev/SDPA.jl
github
similar
lanl-ansi/MomentOpt.jl
github
similar
JuliaAlgebra/SemialgebraicSets.jl
github
similar
mtanneau/Linda.jl
github
similar
chriscoey/AlgebraicIntegration.jl
github
similar
jump-dev/PolyJuMP.jl
github
similar
anriseth/HJBSolver.jl
github
similar
JuliaStochOpt/ParameterJuMP.jl
github
similar
JuliaStochOpt/StochOptInterface.jl
github
similar
JuliaStochOpt/StructDualDynProg.jl
github
similar
sums-of-squares/sos
github
similar
joehuchette/PiecewiseLinearOpt.jl
github
similar
JuliaAlgebra/StaticPolynomials.jl
github
similar
rdeits/Mayday.jl
github
similar
PBrdng/Bertini.jl
github
similar
JuliaAlgebra/TrigPolys.jl
github
similar
scipopt/PaPILO.jl
github
similar
JuliaPolyhedra/CutPruners.jl
github
similar
JuliaReach/Reachability.jl
github
similar
odow/MathOptFormat.jl
github
similar
diegcif/SumsOfSquares.m2
github
similar
juan-pablo-vielma/JuliaCon2018_JuMP_Workshop
github
similar
JuliaReach/SpaceExParser.jl
github
similar