Revision 6faac6a31a9a9ebf009427564103f7839ff35c77

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/sn2j8rjsm317lv4zx0qbmv2m5wsysjk4-aiger-1.9.9.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/8qyn4wszmll1hdmz5zv7vgmzpri6zwls-aiger-1.9.9.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/ph216hgcliy7x2zhnvia9wz8hr488hdj-aiger-1.9.9.drv
    x86_64-linuxx86_64-pc-gnu/gnu/store/aqhnb899684nfwcdf6pva2gd2p57i6jc-aiger-1.9.9.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/qqc2hnk9hdmlsjlln3i0ws4hn4z81hyw-aiger-1.9.9.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/izx618zqq8hlqk2bs7alm0h0jhwkamij-aiger-1.9.9.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/ykb6bb3fnsnh7wfzf9b8n0lc7f89h8cw-aiger-1.9.9.drv
        x86_64-linuxpowerpc64-linux-gnu/gnu/store/vxbgm2w0sv9h110gv92dlsmp575rhibp-aiger-1.9.9.drv
          x86_64-linuxpowerpc64le-linux-gnu/gnu/store/kjh9xjy66lgwlxy89xnl1lphhy7wibiz-aiger-1.9.9.drv
          x86_64-linuxor1k-elf/gnu/store/ds47aizry15wgbyripl4g64j4k7w3d7l-aiger-1.9.9.drv
            x86_64-linuxmips64el-linux-gnu/gnu/store/fk21vyv1bv0xwrzy47jfvklx8mc3fgc8-aiger-1.9.9.drv
              x86_64-linuxloongarch64-linux-gnu/gnu/store/f06mahz6w0dv1rv40hxbpzw56fvn2ngh-aiger-1.9.9.drv
              x86_64-linuxi686-w64-mingw32/gnu/store/pbssyvqlg6lq4clfwrh4xgn35rfqigzs-aiger-1.9.9.drv
                x86_64-linuxi586-pc-gnu/gnu/store/b6c7xwnr9i56vnx4k8kwg1hsv7hmqifb-aiger-1.9.9.drv
                x86_64-linuxavr/gnu/store/hsnrbr0xgq5snxa2s5h415141iw124vy-aiger-1.9.9.drv
                  x86_64-linuxarm-linux-gnueabihf/gnu/store/krhk4ra56ccjihmlpm5bhd8b3s5f39jv-aiger-1.9.9.drv
                  x86_64-linuxaarch64-linux-gnu/gnu/store/8zs84v6vy3sn1ibpadfsdbx038xwslb8-aiger-1.9.9.drv
                  x86_64-gnu/gnu/store/jyfffvrxpww66y4hyzr33z1rzm882d99-aiger-1.9.9.drv
                    riscv64-linux/gnu/store/ja22cch536pyqfm1ig3dbl3sdanw3pg4-aiger-1.9.9.drv
                    powerpc-linux/gnu/store/1dy06cmpzwlncswfrgj7g395mxswbpj4-aiger-1.9.9.drv
                      powerpc64le-linux/gnu/store/xpn1fngk7y6p29fz4lvxwqmza68k2w83-aiger-1.9.9.drv
                      mips64el-linux/gnu/store/5gsg0964v8rqvf6zkx5l4kqfr1kaysph-aiger-1.9.9.drv
                        i686-linux/gnu/store/azqm951avmkwn4n66kf8vl38v6d4fsm5-aiger-1.9.9.drv
                        i586-gnu/gnu/store/qh0n01x3nsag3hsj8i3n9hw3bvs01ycq-aiger-1.9.9.drv
                          armhf-linux/gnu/store/fxxanplw6jyfhfpnx2fhhn47agj3kn7n-aiger-1.9.9.drv
                          aarch64-linux/gnu/store/g7kzh0yxkx66gk732b2x3cqbiqwdcvq0-aiger-1.9.9.drv

                          Lint warnings

                          LinterMessageLocation
                          No lint warnings ✓