update install instructions for btorsim
authorN. Engelhardt <nak@yosyshq.com>
Wed, 1 Jun 2022 14:51:28 +0000 (16:51 +0200)
committerN. Engelhardt <nak@yosyshq.com>
Wed, 1 Jun 2022 14:51:28 +0000 (16:51 +0200)
commit41cd8e5b5e6d61b2fb28e00b7aa0616a00348b5d
treee6d93b7e8e8949d36aaa75d7d51aa0451f560aec
parentde00dc71db618f711976bdee3d9275857849bb99
update install instructions for btorsim
docs/source/install.rst