Our apologies, but the repository "yoavartzi/navi" has been deleted.
It now lives at https://github.com/cornell-lic/navi.