Alternatives and similar repositories for CliSAT

Users that are interested in CliSAT are comparing it to the libraries listed below

• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆34Updated last week
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated last year
• avrech / learning2cut
  Reinforcement Learning for Cut Selection
  ☆12Updated 3 years ago
• hlefebvr / idol
  A C++ Framework for Optimization
  ☆36Updated last week
• c4v4 / LKH3
  Customized version of Helsgaun's LKH3 algorithm for vehicle routing problems.
  ☆35Updated 8 months ago
• ds4dm / learn2comparenodes
  Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)
  ☆24Updated 3 years ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆82Updated 3 weeks ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆31Updated 2 years ago
• fontanf / columngenerationsolver
  A solver based on column generation
  ☆38Updated 2 months ago
• GioniMexi / FeasPumpCollection
  Feasibility Pump Collection
  ☆16Updated 2 years ago
• mattmilten / TreeD
  Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions
  ☆29Updated 3 years ago
• pathwyse / pathwyse
  PathWyse: a flexible, open-source library for the resource constrained shortest path problem
  ☆27Updated 6 months ago
• acco93 / filo2
  A more scalable version of FILO.
  ☆29Updated 4 months ago
• GregorCH / ipet
  Interactive Performance Evaluation Tools for Optimization Software
  ☆28Updated 2 years ago
• d-krupke / cpsat-autotune
  WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
  ☆22Updated 3 months ago
• lseman / baldes
  Bucket Graph Labeling Algorithm for Vehicle Routing
  ☆20Updated 9 months ago
• acco93 / cobra
  A set of reusable components for fast prototyping CVRP heuristic solution approaches.
  ☆19Updated 4 months ago
• D3M-Research-Group / odtlearn
  A package for tree-based statistical estimation and inference using optimal decision trees.
  ☆41Updated last year
• ANL-CEEESA / MIPLearn
  Framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (…
  ☆181Updated 2 weeks ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆76Updated last week
• SINTEF / feasibilityjump
  Feasibility Jump
  ☆29Updated 2 years ago
• Opt-Mucca / PySCIPOpt-ML
  Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs
  ☆37Updated 7 months ago
• lgottwald / PaPILO
  Parallel Presolve for Integer and Linear Optimization
  ☆40Updated 4 years ago
• heldstephan / jpt-amz
  ☆65Updated last year
• c4v4 / sph
  Set Partitioning Heuristic (SPH) based on CPLEX MILP solver and created starting from the CFT Heuristic implemented by Accorsi Luca and C…
  ☆14Updated 2 years ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆20Updated last year
• chkwon / PyHygese
  A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)
  ☆96Updated 8 months ago
• coin-or / Dip
  DIP is a decomposition-based solver framework for mixed integer linear programs.
  ☆21Updated 5 months ago
• hyeonahkimm / neuralsep
  A Neural Separation Algorithm for the Rounded Capacity Inequalities (IJOC, 2024)
  ☆14Updated last year
• Gurobi / pres-mipheur
  Presentation: Custom MIP Heuristics
  ☆34Updated 4 years ago