Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
AIGER
Format for And-Inverter Graphs (AIGs)
Comments
AIGER is a format, library and set of utilities for And-Inverter Graphs (AIGs).
Specification format
Links
http://fmv.jku.at/aiger/
https://github.com/arminbiere/aiger
ProVerB specific
Markdown description:
view/edit
Contained in the ProVerB22 dataset (
paper
+
artefact
)
ProVerB
is a part of
SLEBoK
. Last updated:
February 2023
.
