A development version of the numerically exact variant of MIP solver SCIP
☆12Mar 22, 2023Updated 2 years ago
Alternatives and similar repositories for exact-SCIP
Users that are interested in exact-SCIP are comparing it to the libraries listed below
Sorting:
- A backgammon AI built using deep reinforcement learning☆11Aug 17, 2024Updated last year
- A Python parser for generating Python/C/Matlab solver interfaces☆43Aug 19, 2017Updated 8 years ago
- A conda-smithy repository for scipoptsuite.☆30Feb 3, 2026Updated 3 weeks ago
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated last month
- GPTIPS2F: Symbolic Regression toolbox for MATLAB evolved☆11Jun 10, 2022Updated 3 years ago
- ☆10Oct 7, 2024Updated last year
- A collection of SCIP Optimization Software modeling examples in C++☆11Oct 5, 2020Updated 5 years ago
- Customized Openvslam for IR and RGB images☆16Oct 13, 2020Updated 5 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- My configuration files, loosely inspired by @sontek☆34Feb 20, 2026Updated last week
- ☆11Jun 2, 2021Updated 4 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Fault study formulations for PowerModels and PowerModelsDistribution☆10Oct 10, 2025Updated 4 months ago
- This is a password database that i (Vapen_Hem) have been working on (on and off) since october 2021. It started as a password generator a…☆11Feb 15, 2023Updated 3 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- Robust Bond Portfolio Construction via Convex-Concave Saddle Point Optimization☆14May 13, 2024Updated last year
- Code for the article "Accelerated Forward-Backward Optimization using Deep Learning"☆12Sep 15, 2021Updated 4 years ago
- A system for online math exercises.☆10Dec 21, 2021Updated 4 years ago
- Implemented the depth reconstruction part from the paper semi dense visual odometry from a monocular camera https://vision.in.tum.de/memb…☆12Dec 28, 2017Updated 8 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- GLPK, but it's Python.☆14Sep 3, 2024Updated last year
- Parser of ssh public and private keys☆12Apr 7, 2020Updated 5 years ago
- Software for processing high-speed video recordings from Unsteady Pressure-Sensitive Paint (UPSP) measurement systems. https://nasa.githu…☆18Aug 14, 2023Updated 2 years ago
- My fork adds simple substep navigation. Otherwise, it's impress.js with no mods.☆24Oct 25, 2014Updated 11 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- Code for the paper "Interpreting video features: A comparison of 3D Convolutional networks and Convolutional LSTM networks"☆11Dec 14, 2020Updated 5 years ago
- This repository contains the hardware implementation for Static BFP convolution on FPGA☆10Oct 15, 2019Updated 6 years ago
- TensorFlow implementation of the Dissimilarity Mixture Autoencoder: https://arxiv.org/abs/2006.08177☆13Dec 8, 2022Updated 3 years ago
- RViz plugin to annotate occupancy grid with navigation goals☆12Nov 13, 2019Updated 6 years ago
- Code for the paper：<LARNet:Lie Algebra Residual Network for Profile Face Recognition>(ICML2021)☆10Aug 19, 2021Updated 4 years ago
- Solver for sparse matrix cone programs☆15Feb 4, 2020Updated 6 years ago
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 2 weeks ago
- Learning-aided 3D mapping☆10May 12, 2025Updated 9 months ago
- ☆11Mar 16, 2021Updated 4 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- ☆10Feb 13, 2022Updated 4 years ago
- Fork of Bliss☆14Dec 13, 2025Updated 2 months ago
- Basic Polynomial Algebra Subprograms☆16Jul 29, 2025Updated 7 months ago