Error while running (Ubuntu 16.04)

51 views

Skip to first unread message

unread,

Feb 7, 2020, 5:02:37 AM2/7/20

to MiniSat

I have installed MiniSat 2.2 (found at github) in my machine running Ububtu 16.04. While running minisat, it shows follwing erro message.

minisat: symbol lookup error: minisat: undefined symbol: _ZN7Minisat18setX86FPUPrecisionEv

May I know, How to reslove this issue.

Thanks & Regards,

Ramanuj

Reply all

Reply to author

Forward

0 new messages