diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:10:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:10:43 +0000 |
| commit | 8167f904e4d10ad0d798c95e97ff56f015164bac (patch) | |
| tree | 591a0d64efd0731e8f2a3ae7539170d5c977bc3b /README.md | |
| parent | 18a21be40f0870b55d47f29a7d4b9a82f83bfa82 (diff) | |
| download | verismith-8167f904e4d10ad0d798c95e97ff56f015164bac.tar.gz verismith-8167f904e4d10ad0d798c95e97ff56f015164bac.zip | |
Add links
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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: |