PACE-challenge / Treewidth
List of Treewidth solvers, instances, and tools
☆33Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Treewidth
- ☆10Updated 7 years ago
- ☆18Updated 7 years ago
- Submission to PACE 17☆16Updated 7 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- Exact optimization for cost function networks and additive graphical models☆51Updated 2 weeks ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆48Updated last year
- Tropical tensor network for spin glasses☆54Updated 2 years ago
- Isomorphism testing and automorphisms of graphs☆56Updated 2 months ago
- Convex optimization modeling in Lean 4☆41Updated 5 months ago
- The fastest Tropical number matrix multiplication on GPU☆9Updated 8 months ago
- ☆11Updated 2 years ago
- Coq library for reasoning about quantum programs☆32Updated last week
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 2 years ago
- Entry to model counting competition 2021.☆19Updated 4 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆54Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆72Updated 8 months ago
- A tool for weighted model counting through tensor network contraction☆20Updated 3 years ago
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 6 months ago
- mixed integer semidefinite programming plugin for SCIP☆11Updated 3 months ago
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Updated 3 years ago
- Combinatorial optimization layers for machine learning pipelines☆116Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- A lazy clause generation constraint solver written in Rust.☆17Updated this week
- Experimental port of ADEV to Julia☆11Updated last year
- Verifier for pseudo-Boolean proofs☆12Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month