Revision 519e1e3eb88ec532fc83ebb742d9919269b57c87

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/0fkprm87b27gjvi10a868dik4d53h82h-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-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/mkdnwbqh9jyk5g5134mg0rfhdzl2515b-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 ✓