Pinned Loading

1. phySAT phySAT Public

   Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.

   C++ 14 4

2. also also Public

   Forked from nbulsi/also

   logic synthesis

   C++ 1

3. phyLS phyLS Public

   A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""

   C++ 20 6

4. panhomyoung.github.io panhomyoung.github.io Public

   HTML

5. gift gift Public

   GiFt is a new multi-frequency graph filter-based placement acceleration approach, which can comprehensively capture the graph structure.

   Python 3