Package Details: aiger 1.9.9-2

Git Clone URL: https://aur.archlinux.org/aiger.git (read-only, click to copy)
Package Base: aiger
Description: A format, library and set of utilities for And-Inverter Graphs (AIGs)
Upstream URL: http://fmv.jku.at/aiger/
Licenses: BSD, MIT
Submitter: xiretza
Maintainer: xiretza
Last Packager: xiretza
Votes: 0
Popularity: 0.000000
First Submitted: 2020-04-20 15:25 (UTC)
Last Updated: 2020-09-28 18:16 (UTC)