yices-2.6.2-3.fc32 RPM for armv7hl

From Fedora 32 updates for armhfp / Packages / y

Yices 2 is an efficient SMT solver that decides the satisfiability of
formulas containing uninterpreted function symbols with equality, linear
real and integer arithmetic, bitvectors, scalar types, and tuples.

Yices 2 can process input written in the SMT-LIB notation (both versions
2.0 and 1.2 are supported).

Alternatively, you can write specifications using the Yices 2
specification language, which includes tuples and scalar types.

Yices 2 can also be used as a library in other software.

Provides

• yices
• bundled(cudd)
• libyices.so.2.6
• yices(armv7hl-32)

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libc.so.6
• libc.so.6(GLIBC_2.11)
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libcadical.so.0
• libcryptominisat5.so.5.7
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.5)
• libgmp.so.10
• libm.so.6
• libm.so.6(GLIBC_2.29)
• libm.so.6(GLIBC_2.4)
• libpoly.so.0
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

GPLv3+ and BSD

Changelog

* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-3
  - Rebuild for cryptominisat 5.7.0
  - Switch to upstream's solution for sphinx 3 support
* Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-2
  - Use native sphinx 3 support for enum instead of cenum extension (bz 1823515)
* Thu Mar 26 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-1
  - Version 2.6.2
  - Drop upstreamed -missing-typedef patch
  - Add -big-endian patch to fix s390x build
  - Add -cryptominisat5 patch to fix build with recent cryptominisat releases
  - Skip tests on 32-bit platforms; some tests fail due to the limited size of a
    C integer
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 2.6.1-5
  - Add -missing-typedef patch to fix FTBFS with gcc 10
  - Set -doc subpackage to noarch
* Fri Nov 22 2019 Jerry James <loganjerry@gmail.com> - 2.6.1-4
  - Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 2.6.1-1
  - New upstream version
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 04 2018 Jerry James <loganjerry@gmail.com> - 2.6.0-1
  - New upstream version

Files

/usr/lib/.build-id
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/c6afea1a6a74b57f8123572d9847f9590a49bf
/usr/lib/libyices.so.2.6
/usr/lib/libyices.so.2.6.2
/usr/share/doc/yices
/usr/share/doc/yices/SMT-LIB-LANGUAGE
/usr/share/doc/yices/YICES-LANGUAGE
/usr/share/licenses/yices
/usr/share/licenses/yices/LICENSE.txt
/usr/share/licenses/yices/copyright.txt

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 9 14:15:10 2022