TCS-Meiji / PACE2017-TrackALinks
☆21Updated 8 years ago
Alternatives and similar repositories for PACE2017-TrackA
Users that are interested in PACE2017-TrackA are comparing it to the libraries listed below
Sorting:
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- ☆13Updated 3 years ago
- ☆10Updated 8 years ago
- Submission to PACE 17☆19Updated 5 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- Einsum Expressions in Julia☆12Updated this week
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆18Updated last year
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆50Updated last year
- Implementation of the tree width algorithms.☆19Updated last month
- A randomized algorithm for the compressed MPS MPO product☆17Updated 2 months ago
- Tropical Numbers☆14Updated 3 months ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 6 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆14Updated last week
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆14Updated last week
- The Hackable Tensor Network library☆37Updated this week
- A coding theory library for Julia.☆32Updated last month
- Algorithm for loopy belief propagation used in 'Belief propagation for networks with loops', for the zero-field Ising model.☆9Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- A tutorial for Yao.jl☆12Updated last year
- Coding every Saturday 5PM-8PM at Maker Space, HKUST (GZ)☆13Updated last year
- A fermionic linear optics simulator backend for Yao.jl☆16Updated last month
- The fastest tropical matrix multiplication in the world!☆30Updated last year
- Isomorphism testing and automorphisms of graphs☆65Updated 9 months ago
- A julia library to simulate quantum mixed states and Lindblad equation using matrix product states☆19Updated last week
- Reduction between computational hard problems.☆11Updated 3 weeks ago
- Global search algorithms for finding optimal tensor network contraction sequences.☆15Updated 5 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆82Updated this week
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Sample codes for the PEPS excitation using generating function☆12Updated last year