Skip to content

Conversation

@cxzhong
Copy link
Contributor

@cxzhong cxzhong commented Oct 26, 2025

HiGHS is a new MIP and LP solver, which is much faster than GLPK. I try to implement it as a backend of numerical solver.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

This commit adds:
- build/pkgs/highs/ package configuration
- src/sage/numerical/backends/highs_backend.pxd
- src/sage/numerical/backends/highs_backend.pyx with new add_variable_with_type() function
- Updated src/sage/numerical/backends/meson.build to include HiGHS backend

The new add_variable_with_type() function uses integer parameter for variable type:
  * 1 = Integer
  * 0 = Binary
  * -1 = Real (Continuous)
…additions

- Updated Python version to 3.13.9
- Upgraded various packages including numpy, matplotlib, and cryptography
- Added new dependencies: archspec, conda-libmamba-solver, fmt, fribidi, frozendict, and others
- Adjusted versions for existing dependencies to ensure compatibility
- Removed deprecated or unnecessary packages
@cxzhong cxzhong closed this Oct 26, 2025
@cxzhong cxzhong reopened this Oct 26, 2025
@github-actions
Copy link

github-actions bot commented Oct 26, 2025

Documentation preview for this PR (built with commit 91ed8fc; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@orlitzky
Copy link
Contributor

I'm very interested in this but am falling behind on a few other projects that I need to focus on for the next month or so. Thank you for finally doing this though.

@cxzhong cxzhong changed the title TEST: Highs Backend Highs Backend Oct 29, 2025
@cxzhong
Copy link
Contributor Author

cxzhong commented Oct 29, 2025

I'm very interested in this but am falling behind on a few other projects that I need to focus on for the next month or so. Thank you for finally doing this though.

Yes, can you help me test this and improve this in next month? Thank you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants