twalgor / tw
☆13Updated 3 years ago
Alternatives and similar repositories for tw
Users that are interested in tw are comparing it to the libraries listed below
Sorting:
- ☆21Updated 7 years ago
- Submission to PACE 17☆17Updated 4 months ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- ☆10Updated 7 years ago
- Conservative floating point interval arithmetic in Lean☆16Updated 3 weeks ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆54Updated this week
- Quantum information theory in Lean 4☆14Updated last month
- The Hackable Tensor Network library☆37Updated this week
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆79Updated last week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- Building the linear algebra game!☆10Updated 5 months ago
- A Julia library for computing tree decompositions and chordal completions of graphs.☆21Updated 3 weeks ago
- Reduction between computational hard problems.☆11Updated this week
- A randomized algorithm for the compressed MPS MPO product☆16Updated last month
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated last week
- A (WIP) equality saturation tactic for Lean based on egg.☆60Updated last week
- Maximum independent sets and vertex covers of large sparse graphs.☆74Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Entry to model counting competition 2021.☆20Updated 10 months ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 3 months ago
- Category Theory Framework☆16Updated this week
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- d4 Model Counter☆16Updated 2 years ago
- Performant and safe knowledge compilation in rust☆27Updated 2 weeks ago
- Exact optimization for cost function networks and additive graphical models☆56Updated this week
- Experimental port of ADEV to Julia☆11Updated last year