1 Installing Liquid Shplait🔗ℹ

Liquid Shplait needs Racket 9.3 or later and the Z3 solver. Install the package from DrRacket’s File menu, with Install Package... and the name liquid-shplait, or from the command line:

Install Z3 with a package manager (for instance, brew install z3 on macOS or apt install z3 on Debian and Ubuntu), or download it from the Z3 releases. The checker looks for z3 first in the Z3 environment variable, which should hold the path of the executable; then on the PATH; then, on macOS and Linux, in "/opt/homebrew/bin", "/usr/local/bin", "/opt/local/bin", "~/.local/bin" and "~/bin". On Windows, put the directory containing "z3.exe" on the PATH, or set Z3 to the path of "z3.exe". DrRacket started from the macOS Finder or Dock does not see a shell’s PATH, which matters only if z3 is somewhere else.