From 8fb9fc5d0f68545f3176bf5f04e8003e2453f6e4 Mon Sep 17 00:00:00 2001
From: MyskYko <yoyuohlhjl@yahoo.co.jp>
Date: Wed, 5 Mar 2025 21:19:39 -0800
Subject: [PATCH] add version

---
 src/sat/kissat/VERSION | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/sat/kissat/VERSION

diff --git a/src/sat/kissat/VERSION b/src/sat/kissat/VERSION
new file mode 100644
index 000000000..4d54daddb
--- /dev/null
+++ b/src/sat/kissat/VERSION
@@ -0,0 +1 @@
+4.0.2