TCS-Meiji / PACE2017-TrackA
☆21Updated 7 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
- ☆10Updated 7 years ago
- Submission to PACE 17☆17Updated 4 months ago
- ☆13Updated 3 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆53Updated last year
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Management of Benchmark Instances and Instance Attributes☆19Updated 3 weeks ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆79Updated last week
- Entry to model counting competition 2021.☆20Updated 10 months ago
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- The Hackable Tensor Network library☆37Updated this week
- Einsum Expressions in Julia☆12Updated last week
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated last week
- Isomorphism testing and automorphisms of graphs☆64Updated 8 months ago
- Maximum independent sets and vertex covers of large sparse graphs.☆74Updated last month
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- d4 Model Counter☆16Updated 2 years ago
- A standalone local search solver for general integer linear programming☆16Updated 10 months ago
- A coding theory library for Julia.☆30Updated last week
- Implementation of the tree width algorithms.☆18Updated this week
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- Quantum information theory in Lean 4☆14Updated last month
- A randomized algorithm for the compressed MPS MPO product☆16Updated last month
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆50Updated last year
- A fast, flexible package for simulating the Quantum Alternating Operator Ansatz☆12Updated 11 months ago
- Tropical Numbers☆14Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago