Rebuild for cryptominisat 5.7.0.

stp.spec

@@ -1,6 +1,6 @@
 Name:		stp
 Version:	2.3.3
-Release:	5%{?dist}
+Release:	6%{?dist}
 Summary:	Constraint solver/decision procedure
 
 License:	MIT
@@ -108,6 +108,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.3.3-6
+- Rebuild for cryptominisat 5.7.0
+
 * Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild