how to enable z3 model solver with hardhat and ubuntu?
Now I have config
const config: HardhatUserConfig = {
solidity: {
version: "0.8.10",
settings: {
evmVersion: "london",
modelChecker: {
engine: "all",
showUnproved: true,
},
},
},
};
but got error Warning: BMC analysis was not possible. No SMT solver (Z3 or CVC4) was available. None of the installed solvers was enabled. Install libz3.so.4.8 to enable Z3. event when z3 installed.
Looks like I need to enable something but can't undersatnd what