It is not clear how to run minvar from checking out the repository.
It is not clear how to run minvar from checking out the repository.