+ - git clone https://git.libre-soc.org/git/SymbiYosys.git sby
+ - pushd sby
+ - git checkout db740839b737ee55b8b39f1b29780872d32d248a
+ - make install
+ - popd
+
+ - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
+ - pushd yices2
+ - autoconf
+ - ./configure
+ - make -j$(nproc)
+ - make install
+ - popd
+
+ - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
+ - pushd z3
+ - python scripts/mk_make.py
+ - cd build
+ - make -j$(nproc)
+ - make install
+ - popd
+
+ - git clone https://github.com/bitwuzla/bitwuzla.git bitwuzla
+ - pushd bitwuzla
+ - git checkout 19dd987a6e246990619751cca07996fac505fd0b
+ - ./contrib/setup-btor2tools.sh
+ - ./contrib/setup-symfpu.sh
+ - ./contrib/setup-cadical.sh
+ - ./configure.sh
+ - cd build
+ - make -j$(nproc)
+ - make install
+ - popd
+
+ - git clone --depth 1 https://gitlab.com/nmigen/nmigen.git nmigen