Alternatives and similar repositories for arjun:

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

• shack / synth
  Synthesis of loop-free programs
  ☆16Updated 3 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years 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"
  ☆40Updated 4 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆33Updated 9 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated last year
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆27Updated 9 months ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆16Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated last year
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆89Updated this week
• arminbiere / runlim
  ☆15Updated 10 months ago
• trishullab / cflobdd
  ☆10Updated 6 months ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• gatelabdavis / RANE
  ☆22Updated last year
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆28Updated last week
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 7 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆42Updated last week
• marcelwa / CEGIS
  Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
  ☆48Updated 8 years ago
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆13Updated 3 months ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆14Updated 2 weeks ago
• martinjonas / Q3B
  ☆27Updated 8 months ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 3 months ago
• hadipourh / sboxanalyzer
  An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
  ☆27Updated last month
• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆22Updated last year
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆15Updated 4 months ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆31Updated last year