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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/3si2lcqx77vzlqbvmv25mh79v9ciscak-aiger-1.9.9.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/9ad3s4qhgwh2gi47ypwpvl8f18lbnw63-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/g5axap2sacbm7ccd0jmmhnqd73q14wmg-aiger-1.9.9.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/4wphz6fs70jnfcwj9s9gs19368zx9rfz-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/khpm8zw0c3kccsxdfn913wmq1c25x9nv-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/ns4wsf5ar4mk26m6idg2z1p8cqfw4gs4-aiger-1.9.9.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/pij00gscmsil58jhsa2ygv7hrxm9cdps-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/c4fxzrkb4xp83b389nzkd3q0s5mk4n72-aiger-1.9.9.drv
x86_64-linuxor1k-elf/gnu/store/szmj8wvpfvpcnacaw2c6x2diqdh68l0a-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/3vc9vaip06hc4v0y4by6vhljafsh8hcx-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/fmmdg1ipfn8n9kmmsxkh10j2phx7z6j6-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/xic3milqqds8w3gk3q7jlgl5l7nh515z-aiger-1.9.9.drv
x86_64-linuxavr/gnu/store/67k9k4jpc2wwwhg1f8vhpl3pypdlrfrh-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/d9fvqjds792ncw25v53hynar9ir3d49d-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/f8fch7i01simmpf0wx9jj5fss8a0xrji-aiger-1.9.9.drv
riscv64-linux/gnu/store/82j8zvnh50pifwyz9mfyb2k7rk98g5lc-aiger-1.9.9.drv
powerpc-linux/gnu/store/4dsdr49c79rwxn44wckgwjbvvfvfa1za-aiger-1.9.9.drv
    powerpc64le-linux/gnu/store/3n2gjfp3b3ag1pnjfpfm45jz9r0xvryx-aiger-1.9.9.drv
    mips64el-linux/gnu/store/k3al6c9i3h9fh1h2jnammcw1qmhq2hnk-aiger-1.9.9.drv
      i686-linux/gnu/store/m3hp0jcfaxia70rn52gvj9aszyjcfkpg-aiger-1.9.9.drv
      i586-gnu/gnu/store/dsv0ldjzna98n8gv7qkni6rvkw56rmv7-aiger-1.9.9.drv
        armhf-linux/gnu/store/agnzc8ikf99a6xkynkzq3rzl2lbvpwpa-aiger-1.9.9.drv
        aarch64-linux/gnu/store/gw5hyhnjacjpy0j6mwygawsy46p0913k-aiger-1.9.9.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings