smack icon indicating copy to clipboard operation
smack copied to clipboard

Published 20 hours ago • verified publisher icon smackers

Build issue on Ubuntu 18.04

Open keram88 opened this issue 2 years ago • 0 comments

The binary package for Z3 we use seems to be linked to a newer libm that is not available in 18.04. A possible solution is to switch the default Ubuntu version to 20.04.

keram88 avatar Jan 24 '23 22:01 keram88