License compliance rectification

sat4j.spec

@@ -3,9 +3,9 @@
 
 Name:                sat4j
 Version:             2.3.5
-Release:             1
+Release:             2
 Summary:             A library of SAT solvers written in Java
-License:             EPL or LGPLv2
+License:             EPL-1.0 or LGPLv2
 URL:                 http://www.sat4j.org/
 #wegt https://gitlab.ow2.org/sat4j/sat4j/-/archive/2_3_5/sat4j-2_3_5.tar.gz
 #tar zxvf sat4j-2_3_5.tar.gz
@@ -45,5 +45,8 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \
 # No %%doc files as the about.html is in the jar
 
 %changelog
+* Mon May 9 2022 baizhonggui <baizhonggui@h-partners.com> - 2.3.5-2
+- modify license identifier
+
 * Wed Aug 26 2020 wangxiao <wangxiao65@huawei.com> - 2.3.5-1
 - package init