Language

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: 7452, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/9b9y9nd5z8val1dnsisj3arwvm44ql93-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/w2hqqzfhznc1mwg3mzx42c5hds5kfzra-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/1jndzzd3rbxv1ks9npdmm74mka3ak93l-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/bj96040qix2iycxkgvb4f1napdndwc8j-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/swdc1qcjg0l0q3m3k5wy5mrz0lvprh0n-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/byshvawcgr25iy78rb2qsc3k81hhslks-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/2zlc2hrdk0108s1cw3y7licxgjzf1ccd-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/a3bqcdrqsi5h76nklyji8340gcyakxy3-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/7gqkm02rsq8wxvpc2yfplh7cr82by55g-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/s80xp4mqnwrxbmvb4f5k899gi0v9vcx1-aiger-1.9.9.drv
riscv64-linux/gnu/store/pxi670s2wk5bb7c11za72f6azfyv156y-aiger-1.9.9.drv
    powerpc-linux/gnu/store/gbwwfjsm7sb4sl64mmw3rqpl5pb1nwyh-aiger-1.9.9.drv
      powerpc64le-linux/gnu/store/94z87wxxjxfr4zxmf63khdwi63ns9a5v-aiger-1.9.9.drv
      mips64el-linux/gnu/store/vzsrcff0c4xzxbzy44f0zxgyg4i4i63z-aiger-1.9.9.drv
        i686-linux/gnu/store/042y5imbgsbrxck53xhisfkq82bi6n63-aiger-1.9.9.drv
        i586-gnu/gnu/store/fij4yhzhd7jyb0i320hsclsrcx1qphkr-aiger-1.9.9.drv
        armhf-linux/gnu/store/4h672ahvbv3hl628ryrvxbkwmiq7q1hf-aiger-1.9.9.drv
        aarch64-linux/gnu/store/h6vfn60n4rcn4pzcci1bqq2zs0hzbwla-aiger-1.9.9.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings