v1.16.0

JuMP v1.16.0

Diff since v1.15.1

Merged pull requests:

• [docs] add Octeract to supported solvers (#3527) (@odow)
• [docs] update to Documenter@1.1.0 (#3528) (@odow)
• [docs] add MiniZinc.jl to installation table (#3529) (@odow)
• Add := operator for Boolean satisfiability problems (#3530) (@odow)
• [docs] fix benders_decomposition.jl (#3532) (@odow)
• [docs] update getting_started_with_julia.jl (#3534) (@odow)
• Fix text/latex printing of Interval sets (#3537) (@odow)
• [docs] add Octeract to accept.txt (#3538) (@odow)
• Fix overwritten tests with duplicate function names (#3539) (@odow)
• [docs] add reference to Polyhedra.jl (#3542) (@odow)
• Add stdlib compat to Project.toml (#3544) (@odow)
• Add PolyJuMP KKT and QCQP solvers (#3545) (@blegat)
• Add MINOTAUR to solver list (#3546) (@jd-foster)
• Prep for v1.16.0 (#3547) (@odow)

Closed issues:

• 2 problems found in doc Benders Decomposition (#3531)
• Use of Σ is not consistent (#3533)
• Printing constraints with intervals escapes the bounds once too much (#3535)
• Nonlinear constraint MOI set value not converted to Float (#3540)
• Highlight Polyhedra.jl (#3541)
• MethodError: no method matching (:: LinearInterpolation {Vector {Real}, Vector {Real}, true, Real}) (:: AffExpr) occurs when DataInterpolation is called in the optimization objective (#3543)