docs: add instructions for newer btorsim version required
authorN. Engelhardt <nak@yosyshq.com>
Tue, 24 May 2022 09:39:10 +0000 (11:39 +0200)
committerN. Engelhardt <nak@yosyshq.com>
Tue, 24 May 2022 09:39:10 +0000 (11:39 +0200)
commitad2c33dd373b8764eb8dff7ad8107632a0bacb88
tree28dd970b57e61951834e3bb5a3b6e6f02a309589
parentd10e472edf4ea9be3aa6347b264ba575fbea933a
docs: add instructions for newer btorsim version required
docs/source/install.rst