aiger-circuit

crates.io

And-inverter graph (AIG) library that can serialize data into AIGER format. Supports third-party circuit representations

Versions collected1

Direct dependencies0From release 1.0.2

Last observed20 Oct, 21:32 UTC

Downloads & popularity

507downloads

Cumulative counter · observed snapshots20 Oct 2026

507496.9486.7

20 Oct20 Oct

crates · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values

Date / source period	Value	Observed at
2026-10-20	507	2026-10-20T21:32:34.8780739Z

Collected releases

Version	Published	Direct dependencies	Open version
1.0.2Registry latest	8 Dec 2025	0

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 21:32 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:266f9d1bf3f31ce4ccec6712e893faf3ca0da87977077e32c187fd232b90e035