From 3b467ab70e9132e31c2e8f4f7c62b897b2a030f7 Mon Sep 17 00:00:00 2001
From: webbrain-one <295484252+webbrain-one@users.noreply.github.com>
Date: Fri, 21 Aug 2026 08:33:33 +0300
Subject: [PATCH] docs: improve README

---
 README.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8c1fbad..87160bd 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+
+
 # `RInGen:` Regular Invariant Generator
 RInGen is a [SMTLIB2](http://smtlib.cs.uiowa.edu/language.shtml) converter.
 It takes arbitrary SMTLIB2 files as input and
@@ -56,7 +58,7 @@ Executable then can be found in the `~/RInGen/bin/Release/net6.0/<RID>/publish`
 ```
 ### Built from sources
 ```bash
-~/RInGen$ dotnet bin/Release/net5.0/RInGen.dll ..arguments..
+~/RInGen$ dotnet bin/Release/net6.0/RInGen.dll ..arguments..
 ```
 
 ## Modes and Options
@@ -167,7 +169,7 @@ smt2> (lemma P ((x Nat)) (= x Z))
 smt2> (lemma P ((y Nat)) (= y (S (S Z))))
 smt2> (assert (forall ((x Nat)) (=> (= x Z) (P x))))
 smt2> (assert (forall ((x Nat)) (=> (P x) (P (S (S x))))))
-smt2> (assert (forall ((x Nat)) (=> (and (P x) (= x (S Z))) false)))
+smt2> (assert (forall ((x Nat)) (=> (and (= x (S Z))) false)))
 smt2> (check-sat)
 sat
 smt2>