aig

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

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

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

[toy] And-Inverter Graph in OCaml

短剧生成工作台 从剧本到成片，一站式 AI 短剧制作流程管理 智能分镜生成 多模型资源管理 @引用提示词编辑器 ComfyUI 工作流集成

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

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

💫 Library for managing Boolean circuits in Kotlin

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 provides retirement solutions, life insurance, fixed and variable annuities, and institutional…

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.