I am trying to install ScalaZ3 by using the site https://github.com/epfl-lara/ScalaZ3 . I cloned the code into my directory on Windows, opened a Linux terminal and ran
