rte-france / challenge-roadef-2020View external linksLinks
☆20Jan 12, 2022Updated 4 years ago
Alternatives and similar repositories for challenge-roadef-2020
Users that are interested in challenge-roadef-2020 are comparing it to the libraries listed below
Sorting:
- ScheduleOpt benchmarks☆16Nov 13, 2025Updated 3 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- A solver based on column generation☆40Dec 27, 2025Updated last month
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- HAMLET: Hierarchical Agent-based Markets for Local Energy Trading☆21Aug 24, 2025Updated 5 months ago
- ☆13Sep 16, 2022Updated 3 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- Runge-Kutta ODE Integrator Implemented in Cython and Numba☆18Updated this week
- Code related to the paper "Time series classification with random convolution kernels: pooling operators and input representations matter…☆15Jan 14, 2026Updated last month
- ☆15Jun 30, 2025Updated 7 months ago
- Empowering everyone to build reliable and efficient software.☆12Oct 1, 2025Updated 4 months ago
- Automatic code generator for training Reinforcement Learning policies☆11Jan 3, 2021Updated 5 years ago
- ☆10Mar 25, 2024Updated last year
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- This repo contains all the materials and instructions for putting together a Oil & Gas Tank Level Forecasting solution for oil and gas co…☆13Oct 1, 2018Updated 7 years ago
- Algorithm for Fast Security-Constrained Optimal Power Flow through Low-Impact and Redundancy Screening☆12Aug 5, 2025Updated 6 months ago
- Towards Foundation Models for Mixed Integer Linear Programming☆15Feb 3, 2025Updated last year
- NSERC-USRA Funded Research Project on RBF Interpolation☆12Oct 20, 2016Updated 9 years ago
- CORE-V eXtension Interface compliant RISC-V [F|Zfinx] Coprocessor☆13Nov 12, 2025Updated 3 months ago
- Introduction to mathematical programming with Pyomo (Python)☆12Oct 4, 2018Updated 7 years ago
- Core algorithms for equation-based modeling☆10Updated this week
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 9 months ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆15Jan 5, 2026Updated last month
- Code to solve linear bilevel problems using different methods☆14Mar 14, 2023Updated 2 years ago
- ☆10May 11, 2023Updated 2 years ago
- Control a spacecraft using a 6502! Built with godot, rust, wasm and svelte.☆19Sep 13, 2025Updated 5 months ago
- Heterogeneous Cluster Interconnect to bind special-purpose HW accelerators with general-purpose cluster cores☆14Updated this week
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 2 months ago
- A fork of COIN's VRPH☆11Dec 12, 2017Updated 8 years ago
- Self-contained RTL to GDS flow for simple chip designs☆49Jan 27, 2026Updated 3 weeks ago
- Julia interface for MIPLearn, an extensible framework for Learning-Enhanced Mixed-Integer Optimization☆14Feb 4, 2026Updated last week
- Materiales para el taller-curso de optimización con Python y Pyomo en la Universidad de Alicante☆12Feb 21, 2016Updated 9 years ago
- ☆14Jun 12, 2024Updated last year
- ☆14Jun 14, 2025Updated 8 months ago
- ☆16Jul 1, 2024Updated last year
- compute score for Hash Code 2018 qualification round☆14Jul 30, 2019Updated 6 years ago
- ☆19Dec 22, 2025Updated last month
- replace small numbers with zero☆16Sep 29, 2024Updated last year