%FILENAME%
aiger-1.9.20-1-x86_64.pkg.tar.zst

%NAME%
aiger

%BASE%
aiger

%VERSION%
1.9.20-1

%DESC%
A format, library and set of utilities for And-Inverter Graphs (AIGs)

%CSIZE%
258696

%ISIZE%
1609279

%SHA256SUM%
f4baecfad398f58deb41716986fad819eb506f8a0f5e2c1391eb022871bda95d

%URL%
http://fmv.jku.at/aiger/

%LICENSE%
MIT
BSD

%ARCH%
x86_64

%BUILDDATE%
1750018668

%PACKAGER%
lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>

