Alternatives and similar repositories for GroebnerBasis

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

• microsoft / mcBV
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆21Updated last year
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆14Updated 2 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• Colton1skees / Remill.NET
  .NET bindings for Remill
  ☆13Updated 10 months ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago
• shack / synth
  Synthesis of loop-free programs
  ☆16Updated this week
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated 3 months ago
• Colton1skees / WinTTD
  Reverse engineered API for Microsoft's Time Travel Debugger
  ☆34Updated last year
• agievich / GF2
  A C++ library for algebra over GF(2)
  ☆13Updated last year
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated 8 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 2 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• Colton1skees / KParser
  .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
  ☆16Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• trailofbits / circuitous
  binary->LLVM->circuits
  ☆19Updated last year
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated last week
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆42Updated 5 years ago
• redplait / denvdis
  NVidia sass disassembler
  ☆14Updated this week
• TimMisiak / ConDbgX
  A console debugger using DbgX and Terminal.Gui
  ☆30Updated 2 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• can-lehmann / egraphs.cpp
  E-Graph library
  ☆14Updated last year
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆14Updated 2 years ago
• mrexodia / regstep
  Simple x64dbg plugin to show registers on every step.
  ☆16Updated 5 years ago
• cbouilla / pcg
  Prediction algorithms for the PCG pseudo-random generator
  ☆11Updated 4 years ago
• mrexodia / cxx-common-cmake
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆22Updated 7 months ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• avast / capstone-dumper
  Utility for dumping all the information Capstone has on given instructions.
  ☆23Updated 3 years ago