From fc0afb04c55413bf0d12aae57a0f580c99219a12 Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Fri, 14 Mar 2025 22:00:09 +0800 Subject: [PATCH] Set minimum rIC3 version to 1.35 --- docs/source/install.rst | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/source/install.rst b/docs/source/install.rst index 1f9c81a..27e5ec6 100644 --- a/docs/source/install.rst +++ b/docs/source/install.rst @@ -138,6 +138,4 @@ rIC3 ^^^^ https://github.com/gipsyh/rIC3/ -The minimum required version is 1.3.0 - -rIC3 is not allowed to be used for any commercial purposes without authorization. +The minimum required version is 1.3.5