From 0fc05eac8bbfcb8d51ab9aa53aae45cd53e892a1 Mon Sep 17 00:00:00 2001 From: tmeissner Date: Mon, 4 Oct 2021 15:15:57 +0200 Subject: [PATCH] Add inmfo about bitwuzla to README --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ce0e101..9f97abc 100644 --- a/README.md +++ b/README.md @@ -12,6 +12,7 @@ A collection of Dockerfiles for easy use of various free & open-source tools. Ha * Yices2 * CVC4 * Boolector +* Bitwuzla * Super Prove ## ghdl-formal.Dockerfile @@ -44,8 +45,9 @@ Risc-V toolchain to develop programs for [NEORV32](https://github.com/stnolting/ * [GHDL](https://github.com/ghdl/ghdl) * [ghdl-yosys-plugin](https://github.com/ghdl/ghdl-yosys-plugin) * [Z3](https://github.com/Z3Prover/z3) -* [Yices 2](https://github.com/SRI-CSL/yices2) -* [CVC4](https://github.com/CVC4/CVC4) -* [Boolector](https://github.com/Boolector/boolector) +* [Yices 2](https://yices.csl.sri.com/) +* [CVC4](https://cvc4.github.io/) +* [Boolector](https://boolector.github.io/) +* [Bitwuzla](https://bitwuzla.github.io/) * [Super Prove](https://github.com/berkeley-abc/super_prove) * [RISC-V Toolchain](https://github.com/riscv/riscv-gcc)