gitextract__215ozn6/

├── .JuliaFormatter.toml
├── .codecov.yml
├── .github/
│   ├── ISSUE_TEMPLATE/
│   │   ├── bug_report.md
│   │   └── feature_request.md
│   └── workflows/
│       ├── CompatHelper.yml
│       ├── TagBot.yml
│       ├── ci.yml
│       ├── documentation.yml
│       └── format_check.yml
├── .gitignore
├── CHANGELOG.md
├── CITATION.bib
├── LICENSE.md
├── Project.toml
├── README.md
├── docs/
│   ├── Project.toml
│   ├── README.md
│   ├── make.jl
│   └── src/
│       ├── algorithm.md
│       ├── assets/
│       │   └── themes/
│       │       ├── dark.scss
│       │       ├── darkdefs.scss
│       │       ├── documenter-dark.css
│       │       ├── documenter-dark.css.css
│       │       ├── documenter-light.css
│       │       ├── documenter-light.css.css
│       │       ├── light.scss
│       │       ├── lightdefs.scss
│       │       └── style.scss
│       ├── choosingsolver.md
│       ├── functions.md
│       ├── index.md
│       └── parameters.md
├── examples/
│   ├── JuMP_models.jl
│   ├── MINLPs/
│   │   ├── blend.jl
│   │   ├── bnlp.jl
│   │   ├── brainpc3.jl
│   │   ├── castro.jl
│   │   ├── circle.jl
│   │   ├── convex.jl
│   │   ├── discretemulti.jl
│   │   ├── div.jl
│   │   ├── exprstest.jl
│   │   ├── linearlift.jl
│   │   ├── mult3.jl
│   │   ├── mult4.jl
│   │   ├── multi.jl
│   │   ├── nlp.jl
│   │   ├── rosenbrock.jl
│   │   └── sincos.jl
│   ├── Project.toml
│   ├── README.md
│   ├── optimizers.jl
│   ├── random_QCQPs/
│   │   ├── README.md
│   │   ├── bilinear/
│   │   │   └── generate_bilinear_instances.py
│   │   ├── pooling/
│   │   │   ├── generate_pooling_instances.py
│   │   │   └── haverly_15_addedges_150_attr_0_1.json
│   │   └── qcqp/
│   │       └── generate_qcqp_instances.py
│   └── run_examples.jl
├── src/
│   ├── Alpine.jl
│   ├── MOI_wrapper/
│   │   ├── MOI_function2expr.jl
│   │   └── MOI_wrapper.jl
│   ├── bounding_model.jl
│   ├── const.jl
│   ├── embedding.jl
│   ├── heuristics.jl
│   ├── log.jl
│   ├── main_algorithm.jl
│   ├── multilinear.jl
│   ├── nlexpr.jl
│   ├── operators.jl
│   ├── presolve.jl
│   ├── relaxations.jl
│   ├── solver_options.jl
│   ├── utility.jl
│   └── variable_bounds.jl
└── test/
    ├── runtests.jl
    ├── test_algorithm.jl
    ├── test_expression.jl
    ├── test_solver.jl
    └── test_utility.jl