Update README

YosysHQ · Apr 14, 2022 · 7c2fb13 · 7c2fb13
1 parent 1cd8b8a
commit 7c2fb13
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -30,6 +30,7 @@ Contact us at [email protected] to arrange a free evaluation license.
  * [sby](https://github.com/YosysHQ/sby) a front-end driver program for Yosys-based formal hardware verification flows.
  * [mcy](https://github.com/YosysHQ/mcy) Mutation Cover with Yosys
  * [sby-gui](https://github.com/YosysHQ/sby-gui) GUI for sby
+ * [aiger](https://github.com/arminbiere/aiger) AIGER tools including bounded model checker
  * [avy](https://bitbucket.org/arieg/extavy) Interpolating Property Directed Reachability tool
  * [Boolector](https://github.com/Boolector/boolector) SMT solver and BTOR model checker
  * [Yices 2](https://github.com/SRI-CSL/yices2) SMT solver