Huge News!Announcing our $40M Series B led by Abstract Ventures.Learn More
Socket
Sign inDemoInstall
Socket

coramin

Package Overview
Dependencies
Maintainers
1
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

coramin

Coramin: Pyomo tools for MINLP

  • 0.3.2
  • PyPI
  • Socket score

Maintainers
1

Coramin

codecov Actions Status

Coramin is a Pyomo-based Python package that provides tools for developing tailored algorithms for mixed-integer nonlinear programming problems (MINLP's). This software includes classes for managing and refining convex relaxations of nonconvex constraints. These classes provide methods for updating the relaxation based on new variable bounds, creating and managing piecewise relaxations (for multi-tree based algorithms), and adding outer-approximation based cuts for convex or concave constraints. These classes inherit from Pyomo Blocks, so they can be easily integrated with Pyomo models. Additionally, Coramin has functions for automatically generating convex relaxations of general Pyomo models. Coramin also has tools for domain reduction, including a parallel implementation of optimization-based bounds tightening (OBBT) and various OBBT filtering techniques.

Primary Contributors

Michael Bynum

  • Relaxation classes
  • OBBT
  • OBBT Filtering
  • Factorable programming approach to generating relaxations

Carl Laird

  • Parallel OBBT
  • McCormick and piecewise McCormick relaxations for bilinear terms
  • Relaxations for univariate convex/concave fucntions

Anya Castillo

  • Relaxation classes

Francesco Ceccon

  • Alpha-BB relaxation

Relevant Packages

Pyomo

Coramin is built upon Pyomo and is designed for integration with Pyomo models.

Suspect

Use of Coramin can be improved significantly by also utilizing Suspect's convexity detection and feasibility-based bounds tightening features. Future development of Coramin will directly use Suspect in Coramin's factorable programming approach to generating relaxations.

Documentation

Coming soon..

FAQs


Did you know?

Socket

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Install

Related posts

SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc