Hi all, I am trying to install solidity on windows, to use with a SMT Checker. I don't understand where solidity is looking for them, I put a cvc4 exe in its directory ( that is , in the same dir of solc-windows.exe) but cannot find it, is there some setup procedure to follow ? if possible I would avoid having to build the compiler, maybe with z3 is simpler ?