aiger
A Python library for working with logic networks, synthesis, and optimization.
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
Zero-config CLI that audits coding-agent context windows — measures cache health, repeated context, and structural waste from your local Claude Code / Cursor session logs. 100% local, no telemetry.
