From 35bd53b9cda906c3cb1909fd260ee379d330f77b Mon Sep 17 00:00:00 2001 From: yangyujie Date: Tue, 30 Jul 2024 11:42:57 +0800 Subject: [PATCH] add MV url --- README.md | 3 +++ 1 file changed, 3 insertions(+) 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