aig
Here are 8 public repositories matching this topic...
🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
- Updated
Jan 22, 2018 - JavaScript
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.
- Updated
Aug 21, 2024 - Python
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
- Updated
Nov 29, 2023
A Python library for working with logic networks, synthesis, and optimization.
- Updated
Mar 17, 2025 - Python
And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.
- Updated
May 31, 2019 - C++
Improve this page
Add a description, image, and links to theaig topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theaig topic, visit your repo's landing page and select "manage topics."