nixpkgs / avy - AIGER model checking for Property Directed Reachability

Homepage - https://arieg.bitbucket.io/avy/

License - MIT

Maintainers - Austin Seipp

Releases

2019.05.01 (expand/collapse)
From commit 06749ba3 to 00460bd6
2017.10.16 (expand/collapse)
From commit 05fe6112 to 05fe6112
2019.05.01 (expand/collapse)
From commit 06f2fd5f to 0096eb92
2017.10.16 (expand/collapse)
From commit 00afc855 to 00afc855
2019.05.01 (expand/collapse)
From commit 05659a44 to 07e49512
2017.10.16 (expand/collapse)
From commit 069e485c to 069e485c
2019.05.01 (expand/collapse)
From commit 015c5a2b to 019fa5f6
2017.10.16 (expand/collapse)
From commit 00347e95 to 00347e95
2019.05.01 (expand/collapse)
From commit 063c756b to 00946dc2
2017.10.16 (expand/collapse)
From commit 00d8c11a to 00d8c11a
2019.05.01 (expand/collapse)
From commit 008de9ca to 03197f94
2017.10.16 (expand/collapse)
From commit 07e81b66 to 02208801