Specy/microlp

Feature request: Support SOS1 constraints

Open

#6 opened on Dec 4, 2024

View on GitHub
 (13 comments) (0 reactions) (0 assignees)Rust (11 forks)auto 404
enhancementhelp wanted

Repository metrics

Stars
 (49 stars)
PR merge metrics
 (PR metrics pending)

Description

Thanks for continuing the work on minip, I really think it is useful in some cases.

I was wondering if you might consider adding support for SOS1 or cardinality constraints? And adding that to good_lp? That would make this library even more useful!

I would do it myself if I knew more about how to implement LP stuff, but unfortunately this is not my area of expertise. So I'm throwing this one out there 😅

Contributor guide

Research direction
Study the SOS1 constraint type and its typical implementation in MILP solvers. Read the existing solver code to understand how constraints are represented and added. Look at the node and branching logic to see where SOS1 branching rules could be integrated. Check if the library uses a branch and cut framework; SOS1 constraints are often handled via special branching rules or added as cuts. Review the 'good lp' crate for reference on how it handles SOS1 if available.
Tech stack
rust
Domain
backend
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
3-5 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
RustMILP basics
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40