Description
AIGER model checking for Property Directed Reachability.
package
avy
Metadata
Version
2019.05.01License
Homepage
https://arieg.bitbucket.io/avy/Maintainers (1)
Executables (2)
bin/avybin/avybmc
Platforms (22)
Linux
Show all
aarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-linuxarmv7l-linuxi686-linuxloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-linux