@didriklundberg this is a PR against dev_trindemossen to finally fix the very annoying requirement to have z3 both in the PATH and in the HOL4_Z3_EXECUTABLE environment variable. This makes the building documentation in README.md accurate again, since before this PR it requires also setting PATH, but this is not mentioned.
@didriklundberg this is a PR against
dev_trindemossento finally fix the very annoying requirement to havez3both in the PATH and in theHOL4_Z3_EXECUTABLEenvironment variable. This makes the building documentation inREADME.mdaccurate again, since before this PR it requires also settingPATH, but this is not mentioned.