Alternatives and similar repositories for li-sat-solver:

Users that are interested in li-sat-solver are comparing it to the libraries listed below

• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆20Updated last year
• mgudemann / iimc
  ☆11Updated 7 years ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆15Updated 5 months ago
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆10Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated 7 months ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 3 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆37Updated last month
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago
• lijwen2748 / aaltaf
  SAT-based LTLf Satisfiability Checker
  ☆8Updated 2 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆105Updated this week
• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• UQ-PAC / BASIL
  ☆8Updated this week
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 3 years ago
• upscale-project / generic-sqed-demo
  ☆12Updated 3 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆10Updated 8 months ago
• ekiwi / open-source-formal-verification-for-chisel
  ☆12Updated 3 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆18Updated 4 months ago
• SmnTin / lincheck
  A linearizability checker for concurrent data structures
  ☆10Updated last year
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆27Updated 9 months ago
• mikeurbach / egg-netlist-synthesizer
  Using e-graphs to synthesize netlists from boolean logic.
  ☆14Updated last year
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆9Updated last year
• yaohsiaopid / rtl2uspec
  ☆10Updated 10 months ago
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 7 years ago
• kkiningh / rules_verilator
  Bazel build rules for Verilator
  ☆24Updated 9 months ago
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆18Updated 6 years ago
• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆12Updated last month