From 39d17d1a2b97c5a6d793704efba23d0348c8fdd9 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Tue, 7 Jul 2026 17:33:17 +0200
Subject: [PATCH] be more precise on supported rIC3 version

---
 docs/source/install.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 1e21e4c..31049e2 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -138,4 +138,4 @@ rIC3
 ^^^^
   https://github.com/gipsyh/rIC3/
 
-The minimum required version of rIC3 is 1.5.2
+SBY currently supports the release version 1.5.2 of rIC3 only.