PACE-challenge / TreewidthLinks
List of Treewidth solvers, instances, and tools
☆35Updated 2 years ago
Alternatives and similar repositories for Treewidth
Users that are interested in Treewidth are comparing it to the libraries listed below
Sorting:
- ☆21Updated 8 years ago
- ☆10Updated 8 years ago
- Submission to PACE 17☆17Updated 4 months ago
- Convex optimization modeling in Lean 4☆46Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- Exact optimization for cost function networks and additive graphical models☆57Updated last week
- Isomorphism testing and automorphisms of graphs☆65Updated 8 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 3 years ago
- Tropical tensor network for spin glasses☆55Updated 5 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 4 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆81Updated this week
- ☆10Updated 8 months ago
- Combinatorial optimization layers for machine learning pipelines☆124Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- Interface to Polymake using CxxWrap☆28Updated this week
- 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia☆17Updated last month
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- Entry to model counting competition 2021.☆20Updated 11 months ago
- ☆13Updated 3 years ago
- Experimental port of ADEV to Julia☆11Updated last year
- The Hackable Tensor Network library☆37Updated 3 weeks ago
- d4 Model Counter☆16Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆25Updated last year