Revision 667974a980a9dbc4858afb88b8433ecad18c333b

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/j851qri0krr48hicgcbjxczmvaj6yg14-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/gh21qfi4cj3152khq6gm8f972ig3xm2g-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/5q60z26xcpfhvz1z5v6rxkk02zsqb09v-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/qas0ajlpvwk9w8qc620s82q5h0j76zmf-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/n7a9s30y4g17md6lrwjahzq2a18m8wj3-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/3qqg1bqrfqb5lrnn3lssm0v5019z1f1p-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/07d7ca4hgkxss39zarsk2zsi8jvmhlk0-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/fgkfjp06gm0ng3b6y9l0dihs3ljycbn6-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/gd7567mywpgc78czcvgdhakaz9fgkk18-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/gnpjclg67qx0488wz8xxlm5913mbr9s3-aiger-1.9.9.drv
riscv64-linux/gnu/store/ajw5hvmkraabg7z812cz1wc3l7z9jvdi-aiger-1.9.9.drv
powerpc-linux/gnu/store/b30d19x6s5b6gj6g89j4znsvg171zxah-aiger-1.9.9.drv
    powerpc64le-linux/gnu/store/bl3vy0vjnwnjc9rpd3b8zw1ndldlh28l-aiger-1.9.9.drv
    mips64el-linux/gnu/store/hplqqfhpz0lnkhcywg8fq7nrk37xkwiy-aiger-1.9.9.drv
      i686-linux/gnu/store/7q8h0yyqf366ifz0v1fa8rpbnam3mxzl-aiger-1.9.9.drv
      i586-gnu/gnu/store/ci4gnv4kzaaf5njp2xps2pj8zcgs90wv-aiger-1.9.9.drv
      armhf-linux/gnu/store/qf9wzvhsz36g0lfkhr9zhcjcx7bb0rxn-aiger-1.9.9.drv
      aarch64-linux/gnu/store/x39gzrn8bc999wvrvzi650nwsnw82m17-aiger-1.9.9.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓