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
https://fmv.jku.at/aiger
Location
gnu/packages/maths.scm (line: 9017, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/0fkprm87b27gjvi10a868dik4d53h82h-aiger-1.9.9.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/rpp6rqni68igg1hp0rqbs92jiyf8vrk5-aiger-1.9.9.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/zqlsxcp9az606wcqikgcs4hf1wj67a5a-aiger-1.9.9.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/bz02n10h9vh6zqpl0v9af0s2wzkwiv93-aiger-1.9.9.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/00pdgz9b7f48ai5d93ydcibc65flr1h7-aiger-1.9.9.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/dqcmk77hs5xsgaa2bk5mlsqqbyxjbh1v-aiger-1.9.9.drv
      x86_64-linuxpowerpc64-linux-gnu/gnu/store/50kdjswfvkqijraqxxw0y5v1qap5hrn7-aiger-1.9.9.drv
      x86_64-linuxpowerpc64le-linux-gnu/gnu/store/0p2mxq3q1spx9r8danv3y0irla01hscv-aiger-1.9.9.drv
      x86_64-linuxor1k-elf/gnu/store/3xa7wyjl20c6jdqy39mr6m18fw120isg-aiger-1.9.9.drv
      x86_64-linuxmips64el-linux-gnu/gnu/store/f1cq8fnlbqprqx6kzkaym3cz3j51jmvc-aiger-1.9.9.drv
      x86_64-linuxi686-w64-mingw32/gnu/store/9qvl8g7dcz0sjmd3lkf1nvwg69mgb1b0-aiger-1.9.9.drv
      x86_64-linuxi586-pc-gnu/gnu/store/kkzkvl54gh64dl0j8rc4jx3i28bz7jys-aiger-1.9.9.drv
      x86_64-linuxavr/gnu/store/amg4n12dkrji1w6001rzrqxy85njaa7r-aiger-1.9.9.drv
        x86_64-linuxarm-linux-gnueabihf/gnu/store/1avh5fjl6j219n6sxyqdxa5h849mqnbc-aiger-1.9.9.drv
        x86_64-linuxaarch64-linux-gnu/gnu/store/bqn2kppzabm3bc29r6fmb5k2as1yjdyj-aiger-1.9.9.drv
        riscv64-linux/gnu/store/6401rwsy31hvx7v4pp2ar6bzriq3jwpz-aiger-1.9.9.drv
        powerpc-linux/gnu/store/nhyiwkvc0n8mxlg2xnjkzv24w781djrf-aiger-1.9.9.drv
          powerpc64le-linux/gnu/store/p5qfg0myd8w2nx78vmnj8qj6zgwbd6kc-aiger-1.9.9.drv
          mips64el-linux/gnu/store/bl8czi7vf1im69lncr6kh1jlfnazg8jx-aiger-1.9.9.drv
            i686-linux/gnu/store/6k0r26vrbgwndcrrhm37n2lbq2l6gx16-aiger-1.9.9.drv
            i586-gnu/gnu/store/vmbiwykanhakhd3zqgd4n9s9cijhzcj3-aiger-1.9.9.drv
            armhf-linux/gnu/store/17zfz0y4c1aff12qdzm9ng05l9agzkn0-aiger-1.9.9.drv
            aarch64-linux/gnu/store/2hskx2hkgagkzql56zqzc81kfflfcry8-aiger-1.9.9.drv

            Lint warnings

            LinterMessageLocation
            No lint warnings