KarlsruheMIS / KaMISLinks
Maximum independent sets and vertex covers of large sparse graphs.
☆79Updated this week
Alternatives and similar repositories for KaMIS
Users that are interested in KaMIS are comparing it to the libraries listed below
Sorting:
- KaGen: Communication-free Massively Distributed Graph Generators☆41Updated last week
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆26Updated 4 years ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆470Updated last week
- 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
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆95Updated last week
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆59Updated 2 years ago
- Isomorphism testing and automorphisms of graphs☆71Updated last year
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- ☆161Updated last year
- JAX + Flax implementation of "Combinatorial Optimization with Physics-Inspired Graph Neural Networks" by Schuetz et al.☆64Updated 2 months ago
- DRL models for graph partitioning and sparse matrix ordering.☆32Updated 2 years ago
- Exact optimization for cost function networks and additive graphical models☆62Updated last week
- A standalone local search solver for general mixed integer programming☆44Updated last month
- Representing CP problems as graphs☆20Updated last year
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆14Updated 2 months ago
- Parallel Presolve for Integer and Linear Optimization☆83Updated last week
- Sequential object-oriented simPlex☆75Updated last week
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Updated 3 years ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 3 years ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆47Updated last week
- Extensible Combinatorial Optimization Learning Environments☆361Updated last month
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆37Updated 4 months ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆83Updated 2 months ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆80Updated 5 months ago
- A benchmark library for constraints☆98Updated 3 months ago
- C++ Large Scale Genetic Programming☆193Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 4 years ago