gnu: Add aiger.
authorLiliana Marie Prikler <liliana.prikler@gmail.com>
Sat, 15 Oct 2022 14:45:33 +0000 (16:45 +0200)
committerLiliana Marie Prikler <liliana.prikler@gmail.com>
Sat, 26 Nov 2022 13:03:53 +0000 (14:03 +0100)
commitfc061ce2979be0ff20423a6cd6dfb085581d7531
treeae2f64a997baf992bfdd9251af9aec9a0aaa8273
parentca98b3ab26b0a6f8024e35a7a9c23b896fd26b8c
gnu: Add aiger.

* gnu/packages/maths.scm (aiger): New variable.
gnu/packages/maths.scm