Update license

esbmc · Nov 13, 2024 · 3c7e6b6 · 3c7e6b6
1 parent 2ecab63
commit 3c7e6b6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/LICENSE b/LICENSE
@@ -1,3 +1,6 @@
+This file was added at revision v0.5.2, but you may consider that the license applies to all revisions prior to v0.5.2 as well. The project license for non-commercial use is the license provided below (GNU AFFERO GENERAL PUBLIC LICENSE Version 3). For commercial use, please contact author of program "Yiannis Charalambous".
+
+
                     GNU AFFERO GENERAL PUBLIC LICENSE
                        Version 3, 19 November 2007