Alternatives and similar repositories for parallelGBC

Users that are interested in parallelGBC are comparing it to the libraries listed below

• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆17Updated 2 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 8 months ago
• algebraic-solving / AlgebraicSolving.jl
  ☆32Updated last week
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 6 months ago
• Riphiphip / mlir_rvsdg
  Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR
  ☆13Updated 2 years ago
• jezberg / loandra
  The anytime MaxSAT solver Loandra
  ☆19Updated 6 months ago
• lan496 / hsnf
  Computing Hermite normal form and Smith normal form with transformation matrices
  ☆21Updated 2 weeks ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 3 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated last year
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆18Updated 6 months ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆44Updated 3 weeks ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆165Updated last week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated last month
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 3 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• bsc-quantic / Tenet.jl
  The Hackable Quantum Tensor Network library
  ☆40Updated 3 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆52Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆50Updated 4 years ago
• omega-icl / mcpp
  Library for construction, manipulation and evaluation of factorable functions
  ☆11Updated this week
• AlgebraicJulia / AlgebraicOptimization.jl
  ☆18Updated 2 months ago
• EnzymeAD / Enzyme-Tutorial
  ☆20Updated 2 years ago
• felipeZ / Haskell-abinitio
  contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method
  ☆17Updated 8 years ago