A solver based on local search
☆14Oct 14, 2025Updated 4 months ago
Alternatives and similar repositories for localsearchsolver
Users that are interested in localsearchsolver are comparing it to the libraries listed below
Sorting:
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated last year
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆18Jun 22, 2025Updated 8 months ago
- Feasibility Jump☆29Oct 26, 2023Updated 2 years ago
- metaheuristics for traveling salesman problem (TSP)☆20Aug 3, 2023Updated 2 years ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆52Jan 24, 2026Updated last month
- ☆32Feb 22, 2024Updated 2 years ago
- An Iterated Greedy algorithm applied in scheduling with rejection and tardiness penalties☆10Jun 21, 2022Updated 3 years ago
- Matlab interface to LUSOL☆24Dec 8, 2023Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆46Feb 12, 2026Updated 2 weeks ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- A solver based on column generation☆40Dec 27, 2025Updated 2 months ago
- A solver for (geometrical) packing problems☆194Feb 15, 2026Updated 2 weeks ago
- Example for baking the current git commit hash into a bazel C++ project☆11Jan 25, 2022Updated 4 years ago
- ☆12Updated this week
- Experimental pure Java revised simplex linear program solver (Apache 2.0 license)☆15Jun 22, 2020Updated 5 years ago
- A testing platform for intelligent optimization algorithm based on Matlab with CEC2013 benchmark☆12Jan 26, 2021Updated 5 years ago
- HANA XS Advanced Python Buildpack and example multi-target-application (This Repository has been archived upon Members choice)☆10Feb 19, 2020Updated 6 years ago
- Solving the Flow-shop scheduling problem with bruteforce, johnson's, neh and simulated annealing algorithms☆11Nov 24, 2021Updated 4 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Jul 12, 2021Updated 4 years ago
- A SAT solver written in Haskell.☆39Oct 7, 2018Updated 7 years ago
- COPT (Cardinal Optimizer) release notes and links☆45Jan 13, 2026Updated last month
- ☆13Jun 19, 2025Updated 8 months ago
- ☆11Sep 21, 2025Updated 5 months ago
- Neural-Guided Room Layout Generation with Bubble Diagram Constraints☆12May 19, 2023Updated 2 years ago
- Code base for publication: Reinforcement Learning Approach for Multi-Agent Flexible Scheduling Problems☆10Feb 1, 2023Updated 3 years ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Dec 13, 2024Updated last year
- An example C++ protobuf compiler plugin built with Bazel☆11Dec 5, 2018Updated 7 years ago
- routing your gemini-cli to openai 3rd party providers☆21Jul 21, 2025Updated 7 months ago
- Learning in Noisy MDP (which is governed by stochastic, exogenous input processes) with input-dependent baseline☆11Aug 7, 2020Updated 5 years ago
- ACO with RL algorithm integration (Q-learning) and k-means boosted genetic applied to TSP☆10Sep 21, 2019Updated 6 years ago
- Original high performance simplex solver of Qi Huangfu☆13Oct 12, 2018Updated 7 years ago
- ☆12Jan 3, 2020Updated 6 years ago
- COmpact SOlver for COnstrained problems☆14Updated this week
- 1. Simulation of a job shop production system 2. Reinforcement Learning agent to control the production system☆11Sep 8, 2021Updated 4 years ago
- This is a GitHub archive for the best known solutions and solvers of the low autocorrelation binary sequence (labs) problem. It also is a…☆11Sep 15, 2020Updated 5 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- A computer built as a cellular automation pattern☆14May 13, 2023Updated 2 years ago
- Tutorials☆14Feb 5, 2026Updated 3 weeks ago