%FILENAME%
aiger-1.9.20-1-aarch64.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%
233872

%ISIZE%
1980319

%SHA256SUM%
fc75941637478ad03be3fd8564fcb3e50b91e95b6aa4d15c700f02d10e7a7775

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

%LICENSE%
MIT
BSD

%ARCH%
aarch64

%BUILDDATE%
1750029123

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

