From 7c2fb1323681fe337b3b18b6ec4619a68784483d Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Thu, 14 Apr 2022 09:15:21 +0200 Subject: [PATCH] Update README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 8f158bd..9af76f2 100644 --- a/README.md +++ b/README.md @@ -30,6 +30,7 @@ Contact us at contact@yosyshq.com 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