Alternatives and similar repositories for GpuShareSat:

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

• daajoe / GPUSAT
  ☆11Updated 3 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆22Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 11 months ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 weeks ago
• abenkhadra / gosat
  SMT solver for the theory of floating-point arithmetic
  ☆26Updated 7 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆41Updated 5 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 11 months ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆33Updated last year
• seahorn / verify-c-common
  ☆16Updated 10 months ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last week
• arminbiere / gimsatul
  ☆34Updated 8 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 9 months ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆18Updated 7 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆145Updated last month
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆86Updated 9 months ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆42Updated last month