Alternatives and similar repositories for biodivine-lib-bdd:

Users that are interested in biodivine-lib-bdd are comparing it to the libraries listed below

• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆55Updated last week
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆74Updated 3 weeks ago
• SSoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆13Updated 2 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 7 months ago
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆9Updated last year
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆48Updated last week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆85Updated this week
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆12Updated last year
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆20Updated 6 months ago
• lizhuohua / rust-ffi-checker
  ☆53Updated last year
• gipsyh / rIC3
  Hardware Model Checker
  ☆27Updated this week
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated 2 weeks ago
• lizhuohua / rust-mir-checker
  ☆142Updated 8 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆89Updated this week
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆56Updated 9 years ago
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆26Updated last week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆91Updated last week
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆70Updated 7 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆114Updated this week
• kaist-plrg / concrat
  Concurrent-C to Rust Automatic Translator
  ☆15Updated 2 years ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆15Updated 5 months ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 9 months ago
• jix / varisat
  SAT solver written in Rust
  ☆257Updated 2 years ago
• microsoft / verus-proof-synthesis
  ☆18Updated this week
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆16Updated this week
• d-kfmnn / amulet2
  AMulet 2. - A better AIG Multiplier Examination Tool
  ☆21Updated 2 years ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆31Updated last year