aiger

Here are 3 public repositories matching this topic...

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

circuit aiger

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

A Python library for working with logic networks, synthesis, and optimization.

optimization logic synthesis aiger aig

Add a description, image, and links to the aiger topic page so that developers can more easily learn about it.

To associate your repository with the aiger topic, visit your repo's landing page and select "manage topics."