Alternatives and similar repositories for LSV-PA:

Users that are interested in LSV-PA are comparing it to the libraries listed below

• NTU-LaDS-II / qATG
  An open-source quantum automatic test generator.
  ☆14Updated 4 months ago
• gmeuli / caterpillar
  ☆22Updated 4 years ago
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆18Updated 6 years ago
• msoeken / cirkit
  A circuit toolkit
  ☆96Updated 4 years ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆192Updated 9 months ago
• msoeken / kitty
  C++ truth table library
  ☆51Updated 10 months ago
• lsils / bill
  C++ header-only reasoning library
  ☆13Updated 6 months ago
• alanminko / iwls2022-ls-contest
  Problems and Results of IWLS 2022 Programming Contest
  ☆17Updated 2 years ago
• lsils / mockturtle
  C++ logic network library
  ☆221Updated 3 months ago
• hankshyu / Digital-Design
  Hardware Description Language on FPGA
  ☆9Updated last year
• lnis-uofu / ML-Mapper
  ☆9Updated 2 years ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆15Updated last year
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆24Updated 2 years ago
• sanggido / OpenDP
  Open Source Detailed Placement engine
  ☆35Updated 5 years ago
• jacky860226 / ICCAD-2021-B
  ICCAD-2021-B
  ☆12Updated 3 years ago
• lsils / percy
  C++ header-only exact synthesis library
  ☆15Updated 2 years ago
• Yu-Maryland / MapTune
  MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…
  ☆16Updated 4 months ago
• ABKGroup / TritonRoute-WXL
  ☆26Updated 4 years ago
• luckyrantanplan / nthu-route
  VLSI EDA Global Router
  ☆71Updated 7 years ago
• Gy-Hu / E-Syn
  E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)
  ☆27Updated 6 months ago
• ycunxi / FLowGen-CNNs-DAC18
  ☆15Updated 6 years ago
• jacky860226 / nthu-route
  nthu-route 2.11
  ☆13Updated 5 years ago
• arminbiere / aiger
  AIGER And-Inverter-Graph Library
  ☆65Updated last month
• Chenghao-Yang / awesome-ml4ls
  Awesome machine learning for logic synthesis
  ☆25Updated 2 years ago
• lsils / benchmarks
  EPFL logic synthesis benchmarks
  ☆173Updated 5 months ago
• nbulsi / also
  A logic synthesis tool
  ☆72Updated 2 years ago
• liangrj2014 / ISPD24_contest
  ☆20Updated 2 weeks ago
• jinwookjungs / lefdef_util
  A LEF/DEF Utility.
  ☆27Updated 5 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 7 months ago