Alternatives and similar repositories for flow-cutter-pace17

Users that are interested in flow-cutter-pace17 are comparing it to the libraries listed below

• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆57Updated 2 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆91Updated last week
• TCS-Meiji / PACE2017-TrackA
  ☆22Updated 8 years ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 5 months ago
• kovach / etch
  ☆16Updated last year
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆36Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆22Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆84Updated 4 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated 3 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated last week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆197Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆67Updated 11 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 6 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated 2 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 6 months ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆25Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 2 weeks ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆146Updated this week
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated last month
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆435Updated 5 months ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated 2 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆74Updated last month