Thu, 01 Jun 2023 09:09:17 CST | login

Information for build yices-2.6.4-4.fc37

ID18867
Package Nameyices
Version2.6.4
Release4.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/yices.git#953e1f38049d57e88d3a6aae051e52468ad873df
SummarySMT solver
DescriptionYices 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.
Built bykojiadmin
State failed
Volume DEFAULT
StartedTue, 28 Feb 2023 17:32:04 CST
CompletedTue, 28 Feb 2023 17:43:46 CST
Taskbuild (f37-build-side-32-misc-devel, /rpms/yices.git:953e1f38049d57e88d3a6aae051e52468ad873df)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/yices.git#953e1f38049d57e88d3a6aae051e52468ad873df'}}
Tags No tags
RPMs No RPMs
Changelog * Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Jan 11 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-2 - Build with kissat support * Mon Oct 25 2021 Jerry James <loganjerry@gmail.com> - 2.6.4-1 - Version 2.6.4 - Drop upstreamed -big-endian and -sphinx3 patches - Enable tests on 32-bit platforms * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-6 - Rebuild for cryptominisat 5.8.0 * Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-5 - Rebuild for cadical 1.3.0 * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild