diff --git a/README.md b/README.md
index 6432b5b..d474df1 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,6 @@
 # Cersyve.jl
 
 [![Build Status](https://github.com/yangyujie-jack/Cersyve.jl/actions/workflows/CI.yml/badge.svg?branch=master)](https://github.com/yangyujie-jack/Cersyve.jl/actions/workflows/CI.yml?query=branch%3Amaster)
+
+To use this package, first install ModelVerification.jl at
+https://github.com/yangyujie-jack/ModelVerification.jl/tree/cersyve