From 89a167d0d2efe98d983c87b5b84175b40ea55842 Mon Sep 17 00:00:00 2001
From: Armin Biere <armin.biere@gmail.com>
Date: Tue, 5 Mar 2024 10:03:23 +0100
Subject: [PATCH] Started with semantic versioning.

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index faf8a57..3eefcb9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-sc2022
+1.0.0