🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
Your AI Powered Enterprise Knowledge Partner. Designed to be used at scale from ingesting large amounts of documents formats such as pdfs, docx, xlsx, png, jpgs, tiff, mp3, mp4, jpeg. Integrates with s3, Windows Shares, Google Drive and more.
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
A Python library for working with logic networks, synthesis, and optimization.
And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.
Add a description, image, and links to the aig topic page so that developers can more easily learn about it.
To associate your repository with the aig topic, visit your repo's landing page and select "manage topics."