shaowei-cai-group / z3pp

Related projects: ⓘ

• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆13Updated 2 months ago
• jyao15 / G-CLN
  ☆10Updated last year
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆103Updated 2 weeks ago
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆80Updated 2 weeks ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• Boolector / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆39Updated 2 weeks ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆24Updated 4 years ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆75Updated last week
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆28Updated last week
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆82Updated 3 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated 3 weeks ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆68Updated this week
• lijwen2748 / simplecar
  ☆14Updated last year
• UniCodeSphere / Creal
  ☆25Updated 3 months ago
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆23Updated last year
• FP-Analysis / atomic-condition
  ☆21Updated 4 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆20Updated 5 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆27Updated last year
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated 3 weeks ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated last year
• dian-lun-lin / GenFuzz
  GPU-enabled Hardware Fuzzer using Genetic Algorithm
  ☆14Updated last year
• shaowei-cai-group / AriParti
  Distributed SMT Solving Based on Dynamic Variable-level Partitioning
  ☆13Updated 3 weeks ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆30Updated last year
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆37Updated 8 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated last month
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆78Updated 3 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆102Updated last month
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆19Updated last year
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆196Updated last week