Revision 5b700945fb0b33eec410de8979cae2fbf0d4f118

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/xfzi6bcn4ypv9jzgy4k9lm14z5v2a4pn-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/dxxrn9a3clwpydlzr6zhcsjsvykgs07b-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/8g04vyvaz4ra3vqnap0qw39k5lp8836n-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/q2cf7i4jfp6jaxbihxvw87fl7f0hyb3m-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/qhvksjr9svxvmx307bnh4abd53ncbvpw-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/rjcpy258f85rsan5jyv281mwhxwp9xv5-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/kpmrcq1r26hb4502ab2fn2qdsd8imk1h-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/xz4zh1m4ihgcm4aqsx0vai11yglmmcy3-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/x6yi74c9r3vwsxybd93q0hym4k2n4af3-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/42msynm636frv7jsk8npnn2ncshvcjkn-aiger-1.9.9.drv
riscv64-linux/gnu/store/hq1dn5v62567vj3cll3l380dfbrbxwm1-aiger-1.9.9.drv
powerpc-linux/gnu/store/ww6mpqnkj3kxmfwcx6gh622lawcynnwj-aiger-1.9.9.drv
    powerpc64le-linux/gnu/store/j4y8hvnwyqj0nyk6ja6nq6sgxgm93gdy-aiger-1.9.9.drv
    mips64el-linux/gnu/store/jhf1havsh89clpccryylgcwy1104zypn-aiger-1.9.9.drv
      i686-linux/gnu/store/qzv0vr6d0dzsfzg8cgxf66yww0cdqi02-aiger-1.9.9.drv
      i586-gnu/gnu/store/9f3x9pmzk706jy1xlfcn5ynga6xzpzzf-aiger-1.9.9.drv
      armhf-linux/gnu/store/a96xn2x1rq8wb63z5ia22fw14qwgx3qn-aiger-1.9.9.drv
      aarch64-linux/gnu/store/lk6k2jlr7jp62qqc7n6bzjx0dcmngbqm-aiger-1.9.9.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓