C⚙G - Imperial College London

OMLT

Represent trained machine learning models as Pyomo optimization formulations

romodel

Modeling robust optimization problems in Pyomo

entmoot

Multiobjective black-box optimization using gradient-boosted trees

galini

An extensible MINLP solver

GPdoemd

Design of experiments for model discrimination using Gaussian process surrogate models

suspect

Special Structure Detection for Pyomo

SnAKe

Repository for paper: "SnAKe: Bayesian Optimization with Pathwise Exploration".

pooling-network

min_matches_heuristics

Source code of the methods proposed in "Dimitrios Letsios, Georgia Kouyialis, Ruth Misener. Heuristics with Performance Guarantees for the Minimum Number of Matches Problem in Heat Recovery Network Design. Computers and Chemical Engineering 113:57-85, 2018".".

tree_kernel_gp

GNN_MIP_CAMD

Repository for paper: "Optimizing over trained GNNs via symmetry breaking".

hens

Mistry, M., Misener, R. 2016. Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference. Computers & Chemical Engineering. 94, 1-17.

OMLT_CAMD

Repository for paper: "Augmenting optimization-based molecular design with graph neural networks".

PartitionedFormulations_NN

Implementation of partition-based formulations for mixed-integer optimization of trained ReLU neural networks

pypopt

Bindings to Ipopt C++ library for Python. 🐍

rogp

Modeling Gaussian Processes in Pyomo

two_stage_scheduling

Exact lexicographic scheduling methods and approximate recovery strategies for two-stage makespan scheduling

DCBO

Repository for paper: "Dependence in constrained Bayesian optimization: When do we need it and how does it help?".

galini-dashboard

Dashboard for the GALINI Solver

Partial-Lasserre-relaxation-sparse-maxcut

PoolingProblemDetection

F. Ceccon, G. Kouyialis, R. Misener, "Using functional programming to recognize named structure in an optimization problem: Application to pooling"

SDPCutSel-via-NN

Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks

moo_trees

stn

tidal_turbines-source_inversion

A repository for solving tidal stream turbine optimization with mixed-integer pde-constrained optimization

drill-scheduling

Pyomo implementation of a drill scheduling case study

concrete_GBT_instance_for_mixed_integer_convex_optimization_with_GBTs_embedded

points_in_circles

This repository contains a collection of MINLP test instances available in both .nl and .gms format.

StdPooling-PolyAlgos

Implementation of polynomial-time algorithms for subclasses of single quality standard pooling problems.