minickt (pypi): Analyzer and simulator of logic circuit
Keywords: circuit|eda|verification|logic|gate