mixed integer semidefinite programming plugin for SCIP
☆16Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for SCIP-SDP
Users that are interested in SCIP-SDP are comparing it to the libraries listed below
Sorting:
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 11 months ago
- ☆17Feb 18, 2026Updated last week
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Dec 20, 2021Updated 4 years ago
- Successor to PolyBoRi☆23Oct 1, 2025Updated 5 months ago
- Parallel Presolve for Integer and Linear Optimization☆85Jan 29, 2026Updated last month
- Open collaborative book on quadratization in discrete optimization and quantum mechanics.☆19Sep 9, 2022Updated 3 years ago
- Interactive Performance Evaluation Tools for Optimization Software☆27Nov 16, 2023Updated 2 years ago
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated last month
- A MathOptInterface Optimizer to solve JuMP models using GAMS☆35Jan 5, 2026Updated last month
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆87Sep 30, 2025Updated 5 months ago
- A reference implementation of the SIGGRAPH 2022 paper, "Fast Evaluation of Smooth Distance Constraints on Co-Dimensional Geometry"☆11Nov 26, 2024Updated last year
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- ☆10May 2, 2020Updated 5 years ago
- A BDD-based Quantum Circuit Equivalence Checker☆13Jul 10, 2025Updated 7 months ago
- 🤖 An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.☆10May 8, 2020Updated 5 years ago
- A collection of SCIP Optimization Software modeling examples in C++☆11Oct 5, 2020Updated 5 years ago
- ☆11Mar 2, 2022Updated 4 years ago
- A Python-based Open-Source Visualization Tool for CFD Applications☆11Aug 12, 2021Updated 4 years ago
- Spherical Parameterization of Genus-0 Surfaces☆10Mar 31, 2022Updated 3 years ago
- OptiVerse is a comprehensive open-source Python library dedicated to exploring the vast universe of optimization techniques to solve real…☆12Feb 15, 2025Updated last year
- SCIP - Solving Constraint Integer Programs☆568Feb 21, 2026Updated last week
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 5 months ago
- ☆13Dec 9, 2024Updated last year
- ☆12Oct 14, 2018Updated 7 years ago
- ☆11Oct 14, 2021Updated 4 years ago
- ☆10May 11, 2021Updated 4 years ago
- ☆10Sep 10, 2024Updated last year
- ☆10Mar 12, 2013Updated 12 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- ☆12Jun 30, 2023Updated 2 years ago
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]☆12Jun 15, 2021Updated 4 years ago
- LSTM_MPC(reactive distillation system)☆11Jul 21, 2020Updated 5 years ago
- FMI for Power System☆10Sep 6, 2019Updated 6 years ago
- Extract from SU2☆17Aug 19, 2019Updated 6 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago
- QiskitFlow. Framework for reproducible quantum experiments☆11Jun 30, 2021Updated 4 years ago