kit-algo / flow-cutter-pace17
Submission to PACE 17
☆17Updated 3 months ago
Alternatives and similar repositories for flow-cutter-pace17:
Users that are interested in flow-cutter-pace17 are comparing it to the libraries listed below
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆52Updated last year
- ☆20Updated 7 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆77Updated 2 months ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A Small Quantum Intermediate Representation☆86Updated 3 months ago
- ☆10Updated 7 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- ☆13Updated 3 years ago
- ☆17Updated 10 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- The DRAT-trim proof checker☆57Updated 5 months ago
- RevKit: Python quantum compilation library and framework☆27Updated 5 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 10 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated last month
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated last week
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- ☆16Updated last year
- ☆34Updated 9 months ago
- Entry to model counting competition 2021.☆20Updated 10 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆65Updated 11 months ago
- microsat☆134Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆19Updated last week
- High-performance probabilistic exact counter☆31Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆27Updated last month
- Quantum circuit analysis toolkit☆74Updated this week
- CAQE is a solver for quantified Boolean formulas☆32Updated last year
- A prototype of an SSA-based quantum IR exploiting value semantics☆10Updated last year
- Python bindings for egg☆48Updated 2 years ago