Revision 84a70d7c15314f01149ddc0728195c7b9f6309c7

Language
View JSON

Package: aiger @ 1.9.9

Synopsis

Utilities for And-Inverter Graphs

Description

AIGER is a format, library and set of utilities for AIGs. The focus is on conversion utilities and a generic reader and writer API.

Home page
http://fmv.jku.at/aiger
Location
gnu/packages/maths.scm (line: 7715, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/g5c2szndynsmqgf89wyc9flzk0cmwc8y-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/fm44jf54fyba356xw7plq3d3w620ad0b-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/j2n5cpa4xsismb37g9rbxm3xca14vs1l-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/f40r1sds5iyl3p2pcdapsi3hppfglncq-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/kx2m5ymp956s4pkgzqfiyj6af34y3d8r-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/s62gmrc4pa2z2cikgjiwnkdvaylzn1gw-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/ww0rnl0z46vn4y008gl66insmvl38ybs-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/an3sz7d9q1pqffiz1040jhh2707baj1h-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/hw1j617qyb444zmpvccb4w7cddxb15zn-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/pb8air2c4mm9z1ri8al0sln8g0hbgr81-aiger-1.9.9.drv
riscv64-linux/gnu/store/82a0ch4karfpa93lc6fmzvd8w825k3qc-aiger-1.9.9.drv
    powerpc-linux/gnu/store/0a4wfz2984i0dv9ymhjwlbc9fcdxgq7l-aiger-1.9.9.drv
      powerpc64le-linux/gnu/store/s74v22z0659jzr2by8nxc0c9l51l9vw0-aiger-1.9.9.drv
      mips64el-linux/gnu/store/2h1ynigslr9ihcmdmpscx9693qcvhmb1-aiger-1.9.9.drv
        i686-linux/gnu/store/7kvk22hdrdsz6540zi1jbv8aa5a02ahp-aiger-1.9.9.drv
        i586-gnu/gnu/store/yw9arayc1iif6p11gk615siw150692pp-aiger-1.9.9.drv
        armhf-linux/gnu/store/7dl0wyr0473pyldx9pmkzsb2924mx48f-aiger-1.9.9.drv
        aarch64-linux/gnu/store/sxd84mfv7jcfxvywl7iy0r1zc79dikw8-aiger-1.9.9.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓