Alternatives and similar repositories for PACE2017-TrackA:

Users that are interested in PACE2017-TrackA are comparing it to the libraries listed below

• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆34Updated 2 years ago
• freetdi / p17
  ☆10Updated 7 years ago
• twalgor / tw
  ☆13Updated 3 years ago
• kit-algo / flow-cutter-pace17
  Submission to PACE 17
  ☆17Updated 3 months ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆52Updated last year
• frankschindler / OptimizedTensorContraction
  Global search algorithms for finding optimal tensor network contraction sequences.
  ☆16Updated 5 years ago
• chubbc / SweepContractor.jl
  Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…
  ☆50Updated last year
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆30Updated last month
• vardigroup / TensorOrder
  A tool for weighted model counting through tensor network contraction
  ☆21Updated 3 years ago
• vsiddhu / SDP-Quantum-OR
  This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…
  ☆21Updated 3 years ago
• bsc-quantic / EinExprs.jl
  Einsum Expressions in Julia
  ☆12Updated this week
• GiggleLiu / ProblemReductions.jl
  Reduction between computational hard problems.
  ☆11Updated 2 weeks ago
• ArrogantGao / TreeWidthSolver.jl
  Implementation of the tree width algorithms.
  ☆18Updated 4 months ago
• bsc-quantic / Tenet.jl
  The Hackable Tensor Network library
  ☆34Updated 2 weeks ago
• Udopia / gbd
  Management of Benchmark Instances and Instance Attributes
  ☆19Updated last week
• OptimalBranching / OptimalBranching.jl
  Automated discovery of optimal branching rules for the branch-and-bound algorithm
  ☆13Updated this week
• FZJ-PGI-12 / QAOA.jl
  ☆14Updated 4 months ago
• Zhaoyilunnn / q-gpu
  moved to https://github.com/Zhaoyilunnn/qdao
  ☆11Updated last year
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆19Updated this week
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆16Updated last year
• MQLib / MQLib
  Implementations of heuristics for the Max-cut and QUBO problems in C++
  ☆77Updated last year
• Jutho / CuTensorOperations.jl
  TensorOperations and cuTENSOR combined
  ☆13Updated 5 years ago
• jhpc-quantum / RIKEN-braket
  Software/library for simulations of quantum gates
  ☆16Updated 2 weeks ago
• FishboneChiang / SDPJSolver.jl
  A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.
  ☆17Updated last year
• ORNL-QCI / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆10Updated 3 years ago
• gmeuli / caterpillar
  ☆25Updated 4 years ago
• dev-ket / Ket.jl
  Toolbox for quantum information, nonlocality, and entanglement
  ☆24Updated last week
• GiggleLiu / QuantumMPS
  Variational Quantum Eigensolver with Fewer Qubits
  ☆25Updated 5 years ago
• ITensor / PEPS.jl
  ☆19Updated 4 years ago
• TensorBFS / CuTropicalGEMM.jl
  The fastest Tropical number matrix multiplication on GPU
  ☆10Updated 4 months ago