Alternatives and similar repositories for neurocore-public

Users that are interested in neurocore-public are comparing it to the libraries listed below

• NVIDIA / GraphQSat

  View on GitHub
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Oct 20, 2020Updated 5 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• dselsam / neurosat

  View on GitHub
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆291Mar 12, 2019Updated 6 years ago
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• emreyolcu / sat

  View on GitHub
  Learning local search heuristics for Boolean satisfiability
  ☆37May 8, 2024Updated last year
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• wenxiwang / neuroback

  View on GitHub
  ☆13Dec 31, 2024Updated last year
• myxxxsquared / NLocalSAT

  View on GitHub
  NLocalSAT; Boosting Local Search with Solution Prediction
  ☆18Aug 4, 2023Updated 2 years ago
• cure-lab / DeepGate2

  View on GitHub
  ☆16May 24, 2023Updated 2 years ago
• ravi-lanka-4 / CoPiEr

  View on GitHub
  Co-training for Policy Learning
  ☆13Aug 8, 2019Updated 6 years ago
• qfiard / cuda-sat-solver

  View on GitHub
  An implementation of a SAT solver using the CUDA library
  ☆15Dec 23, 2017Updated 8 years ago
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• PL-ML / metal

  View on GitHub
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Feb 18, 2019Updated 6 years ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 5 months ago
• z11i / pysat

  View on GitHub
  Simple SAT solver with CDCL implemented in Python
  ☆19Jan 5, 2023Updated 3 years ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• marcmelis / dpll-sat

  View on GitHub
  Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
  ☆14May 24, 2018Updated 7 years ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• amahzoon / genmul

  View on GitHub
  ☆19Dec 21, 2020Updated 5 years ago
• MarkusRabe / cadet

  View on GitHub
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Apr 29, 2025Updated 9 months ago
• chengyinwu / V3

  View on GitHub
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Sep 14, 2022Updated 3 years ago
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• hammad-a / verilog_repair

  View on GitHub
  Automated Repair of Verilog Hardware Descriptions
  ☆35Jan 16, 2025Updated last year
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• temelmertcan / multgen

  View on GitHub
  Integer Multiplier Generator for Verilog
  ☆23Jul 4, 2025Updated 7 months ago
• makaimann / ride-core-demo

  View on GitHub
  A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core
  ☆12May 24, 2019Updated 6 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• hwmcc / btor2tools

  View on GitHub
  A generic parser and tool package for the BTOR2 format.
  ☆46Sep 18, 2025Updated 4 months ago
• paralab / SymPyGR

  View on GitHub
  SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.
  ☆11Aug 18, 2025Updated 5 months ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆14Oct 14, 2025Updated 4 months ago
• crillab / d4v2

  View on GitHub
  ☆14May 12, 2025Updated 9 months ago
• locuslab / SATNet

  View on GitHub
  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
  ☆426Nov 22, 2022Updated 3 years ago
• stanford-centaur / pono

  View on GitHub
  Pono: A flexible and extensible SMT-based model checker
  ☆117Feb 5, 2026Updated last week
• PL-ML / code2inv

  View on GitHub
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆103Jan 26, 2021Updated 5 years ago
• MassimoLauria / cnfgen

  View on GitHub
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆70Aug 11, 2025Updated 6 months ago
• PrincetonUniversity / IMDb-Archive

  View on GitHub
  ILA Model Database
  ☆24Sep 27, 2020Updated 5 years ago