Running program "bash scripts/mc_data.sh" error

[xdmdtz123]

Dear author：
There is no problem running program "bash scripts/sat_data.sh", but when program runs to these two lines in "bash scripts/mc_data.sh", the following error will occur：


Looking forward to your reply, thank you.

[zhaoyu-li]

Hi,

Thanks for your interest. To use the DSHARP solver in our codebase, one needs to install the GMP library by:

sudo apt-get install libgmp3-dev

If you feel struggle with the installation of the GMP library (or there is still something wrong with the DSHARP in our codebase), you may go to the Git Repo of DSHARP to install it by yourself (with/without GMP) and move the executable file to the same location as ours.

BTW, if you choose to install DSHARP without GMP, you also need to uncomment this line to use it. However, DSHARP without GMP can only give an approximate model counting rather than the exact one. So I recommend you use DSHARP with GMP.

Hope this may help you.

[xdmdtz123]

I recompiled 'dsharp' according to your prompts. The program runs normally. Thanks for your help!