updated license too

arminbiere · arminbiere · commit 7f62bc977dca · 2023-06-22T18:34:37.000+02:00
diff --git a/LICENSE b/LICENSE
@@ -4,6 +4,7 @@ Copyright (c) 2016-2021 Armin Biere, Johannes Kepler University Linz, Austria
 Copyright (c) 2020-2021 Mathias Fleury, Johannes Kepler University Linz, Austria
 Copyright (c) 2020-2021 Nils Froleyks, Johannes Kepler University Linz, Austria
 Copyright (c) 2021-2023 Armin Biere, University of Freiburg, Germany
+Copyright (c) 2021-2023 Mathias Fleury, University of Freiburg, Germany
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.5.5-rc1
+1.5.5
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#  define VERSION "1.5.4"
+#  define VERSION "1.5.5"
 #endif // VERSION
 #endif // NBUILD
 
