sci-mathematics/

abc

System for sequential logic synthesis and formal verification

https://people.eecs.berkeley.edu/~alanmi/abc/