ciaranm / parasolsLinks
Parallel solvers for hard problems
☆12Updated 2 years ago
Alternatives and similar repositories for parasols
Users that are interested in parasols are comparing it to the libraries listed below
Sorting:
- A constraint programming solver with support for proof logging☆15Updated last month
- ☆55Updated 3 weeks ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆16Updated 3 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆19Updated 11 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated this week
- A standalone local search solver for general integer linear programming☆16Updated 11 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- The CP solver Chuffed☆20Updated 8 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- C++ library for semigroups and monoids☆47Updated last week
- ☆21Updated 8 years ago
- Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++☆14Updated 4 years ago
- SAT Solver SATCH☆120Updated 2 years ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Updated 9 years ago
- A benchmark library for constraints☆94Updated 8 months ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Updated last year
- Maximum independent sets and vertex covers of large sparse graphs.☆77Updated 2 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated last week
- Management of Benchmark Instances and Instance Attributes☆20Updated 2 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆82Updated this week
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 3 months ago
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- ☆31Updated 2 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆11Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last week