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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/wkrijj927njzg6qlcc74g05kapx0chkc-aiger-1.9.9.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/9jccyhvalcdhhmb34z7pfpdpw63d43j7-aiger-1.9.9.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/rag3br6ps8yj4pmjphvjcndipqj0jw7d-aiger-1.9.9.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/22w5mdrzv5n17xqllsl07risckznl12z-aiger-1.9.9.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/mngx6ma4ksyfxhw4g4xmmylzaplmf050-aiger-1.9.9.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/46ibfz9wy1mlz3hh3961pdb1imkigrpx-aiger-1.9.9.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/hdjpyb089hcqg5za968v28y5dzfy0g6c-aiger-1.9.9.drv
x86_64-linuxi686-w64-mingw32/gnu/store/xrmfv8pjh1s6piwxis9zrzv60sk1k64n-aiger-1.9.9.drv
x86_64-linuxi586-pc-gnu/gnu/store/a4cn6gr2g3glmy5ax29b0qf3ccy9m3wb-aiger-1.9.9.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/cav61gg2kmk5jcs4vb7fa1kdv5lq7jlx-aiger-1.9.9.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/8xmhvi6ryxc2751b5ah6f9sc7dj9axvh-aiger-1.9.9.drv
riscv64-linux/gnu/store/1ngqqfz60z0p0lsq0qsdgvzdyfidb20i-aiger-1.9.9.drv
powerpc-linux/gnu/store/dq2rbqd2rd52jc8h1pzqv5j0yzr55cfl-aiger-1.9.9.drv
    powerpc64le-linux/gnu/store/680jkwqrvaj7lz7k6kxg4c87vhqdiz8s-aiger-1.9.9.drv
    mips64el-linux/gnu/store/8v3kk7xbbw8hln87d75y0nwlvlwa697q-aiger-1.9.9.drv
      i686-linux/gnu/store/vshxgnrmvnbv3zyszjhsla05yj7jh48d-aiger-1.9.9.drv
      i586-gnu/gnu/store/w4vb4d1qky9ichv5iff2wkqdca7wii3y-aiger-1.9.9.drv
      armhf-linux/gnu/store/2fh21nsx39w1spb5zx305965m7vi9nmp-aiger-1.9.9.drv
      aarch64-linux/gnu/store/klvc96fa6l2ipdr5976pkzg3dm9zwkly-aiger-1.9.9.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings