DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP. - Hector D. Perez; Shivank Joshi; Ignacio E. Grossmann (CoRR, 2023)