Revision f0d1cddf5bf68bbe0cfa973465ac326a33db433f

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/860xhzfqgp13xgba33wjdn9xfmw75gpc-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/hdq4379qg58z417r9hppmyf6ws5lb2ym-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/g30ix0w4971hsb4c18hb7zz7r46y89y6-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/y8va0gk25n88jxg0lvab9jjw5ddbcj8d-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/kahp1ji5hr2khgfdvcmxhz5c3ia9qawx-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/701vii1ln31jl5nlx0cmh4ly82xbcpin-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/i5hr3hj8y9ch5fyc7sh8vg7qkj7hijp3-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/92v4ib3wgb427y72psx2b9c32xjh89lp-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/kk8ab00jrg861plxg7ahv8x5l7irnrfy-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/30ggzyn7f5cikyzgl06v1pmbzygkhs49-aiger-1.9.9.drv
riscv64-linux/gnu/store/pwkbkb1s6sk6ridyijjyksijjqzfgzim-aiger-1.9.9.drv
    powerpc-linux/gnu/store/i5k6qqmscqp8kr22njp04dnlgfd9jvps-aiger-1.9.9.drv
      powerpc64le-linux/gnu/store/krjfm9ljph3vas72nmah16g8630hv53m-aiger-1.9.9.drv
      mips64el-linux/gnu/store/71if34y046yw0gz9ppdmb7whiwaky356-aiger-1.9.9.drv
        i686-linux/gnu/store/s4xkx5j24d9flx53zmh03b47gnp7m04z-aiger-1.9.9.drv
        i586-gnu/gnu/store/zr82hi5bj17cmipixk762qjd0k5aiyi4-aiger-1.9.9.drv
        armhf-linux/gnu/store/hj5fcv2z74c23wsi28q6pwdqfz63akp4-aiger-1.9.9.drv
        aarch64-linux/gnu/store/ccbxw3dah1j9kniq86paqlchc5h30mbf-aiger-1.9.9.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓