KarlsruheMIS / KaMISLinks
Maximum independent sets and vertex covers of large sparse graphs.
☆79Updated last month
Alternatives and similar repositories for KaMIS
Users that are interested in KaMIS are comparing it to the libraries listed below
Sorting:
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆24Updated 3 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆41Updated last week
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆469Updated last month
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆501Updated this week
- A standalone local search solver for general mixed integer programming☆34Updated 2 weeks ago
- Exact optimization for cost function networks and additive graphical models☆62Updated last week
- A standalone local search solver for general integer linear programming☆16Updated last year
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆61Updated last year
- A benchmarking suite for maximum independent set solvers.☆53Updated last year
- Parallel Presolve for Integer and Linear Optimization☆78Updated this week
- DRL models for graph partitioning and sparse matrix ordering.☆32Updated 2 years ago
- Extensible Combinatorial Optimization Learning Environments☆360Updated 7 months ago
- Sequential object-oriented simPlex☆70Updated this week
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆91Updated this week
- Fork of the Concorde TSP solver with an easier build procedure☆15Updated last year
- Isomorphism testing and automorphisms of graphs☆71Updated last year
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆26Updated 6 months ago
- Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)☆399Updated 3 years ago
- Machine Learning for Combinatorial Optimization - NeurIPS'21 competition☆139Updated 3 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆59Updated 2 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆31Updated 2 years ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆29Updated 3 years ago
- Code for solving LP on GPU using first-order methods☆229Updated 6 months ago
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆37Updated 2 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆69Updated 4 years ago
- Customized version of Helsgaun's LKH3 algorithm for vehicle routing problems.☆34Updated 7 months ago
- A C++ Framework for Optimization☆36Updated 2 weeks ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆79Updated 4 months ago