aig

🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph

• Updated Jan 22, 2018
• JavaScript

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

• Updated Sep 7, 2026
• Python

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 Apr 3, 2025
• Python

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

• Updated Nov 29, 2023

AI 短剧生成平台|AI Short-Drama Video Generator — 从剧本到成片一站式生产:LLM 剧本解析、智能分镜、@引用提示词、多模型视频生成(MiniMax-H3 r2va 多模态参考)、React-Flow 节点画布、剪映式三轨道在线剪辑、团队协作与积分计费。text-to-video · storyboard · AI filmmaking

• Updated Sep 8, 2026
• TypeScript

[toy] And-Inverter Graph in OCaml

• Updated Jun 4, 2015
• OCaml

And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.

• Updated May 31, 2019
• C++

Implementação de dois comparadores de AAG para verificar equivalência lógica.

• Updated Feb 8, 2018
• C++

💫 Library for managing Boolean circuits in Kotlin

• Updated Mar 24, 2025
• Kotlin

Corebridge Financial — independent third-party profile of a public API surface, by API Evangelist. Corebridge Financial (formerly AIG Life and Retirement) is one of the largest and most established retirement and insurance solutions providers in the United States. Spun off from AIG in September 2022 in the largest IPO of that year, Corebridge provi

• Updated Sep 4, 2026

Pure Python AIG (And-Inverter Graph) optimizer with FRAIG sweeping, NPN-guided DAG-aware rewriting, resubstitution, and stochastic multi-restart optimization. Benchmarks against Yosys and ABC.

• Updated Apr 7, 2026
• Python