Build issue on Ubuntu 18.04 #793
Description
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.
{{ message }}
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.