Pinned Loading

1. E-Syn E-Syn Public

   E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

   C 36 7

2. E-Syn2 E-Syn2 Public

   E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)

   C 22 1

3. AIG2INV AIG2INV Public

   DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)

   C++ 11 1

4. ML4PDR ML4PDR 5595 Public

   NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)

   C++ 3 4

5. pyIC3 pyIC3 Public

   Implementation of IC3/PDR algorithm with z3py (AIGER 1.0 supported)

   Python 7 1

6. pyBMC pyBMC Public

   Implementation of bounded model checking with Z3py. (AIGER1.0 support)

   Python 9