From 8167f904e4d10ad0d798c95e97ff56f015164bac Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 19 Dec 2019 11:10:43 +0000 Subject: Add links --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 20f97fd..7ce170f 100644 --- a/README.md +++ b/README.md @@ -78,10 +78,10 @@ Instead, stack could be used and the `stack.yaml` file could contain the overrid Some external packages are required to use Verismith properly: -- Yosys -- SymbiYosys -- Icarus Verilog -- (Optional) Z3 +- [Yosys](https://github.com/yosyshq/yosys) with ABC +- [SymbiYosys](https://github.com/YosysHQ/SymbiYosys) +- [Icarus Verilog](http://iverilog.icarus.com/) +- (Optional) [Z3](https://github.com/Z3Prover/z3) A stable version of Verismith is available on [hackage](https://hackage.haskell.org/package/verismith) and can be installed using cabal directly without having to build the project from the repository: -- cgit