Alternatives and similar repositories for espresso-iisojs

Users that are interested in espresso-iisojs are comparing it to the libraries listed below

• Gigantua / Espresso
  Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
  ☆54Updated last year
• classabbyamp / espresso-logic
  A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
  ☆153Updated 5 years ago
• audemard / glucose
  The glucose SAT solver
  ☆120Updated 2 months ago
• arminbiere / aiger
  AIGER And-Inverter-Graph Library
  ☆86Updated last week
• cucapra / filament
  Fearless hardware design
  ☆178Updated this week
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆76Updated this week
• berkeley-abc / abc-zz
  Niklas Een's ABC/ZZ framework
  ☆23Updated 3 years ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆81Updated this week
• lsils / kitty
  C++ truth table library
  ☆59Updated 2 weeks ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆93Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 7 months ago
• meelgroup / unigen
  UniGen approximately uniform sampler
  ☆31Updated 2 weeks ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated last month
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated last week
• sifiveinc / wake
  The SiFive wake build tool
  ☆91Updated this week
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆140Updated last week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated 3 weeks ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• aappleby / metron
  A C++ to Verilog translation tool with some basic guarantees that your code will work.
  ☆172Updated 5 months ago
• msoeken / cirkit
  A circuit toolkit
  ☆103Updated 5 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆27Updated 2 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆32Updated 4 months ago
• cristian-mattarei / CoSA
  CoreIR Symbolic Analyzer
  ☆73Updated 4 years ago
• jix / kissat_extras
  A fork of the Kissat SAT solver with additional features. Supports incremental solving.
  ☆15Updated 3 years ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆126Updated this week
• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆26Updated last year
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆43Updated last month