cvc5-1.0.8-1.fc40 | Build Info

ID	261506
Package Name	cvc5
Version	1.0.8
Release	1.fc40
Epoch
Source	git+https://src.fedoraproject.org/rpms/cvc5.git#fee791d29f4fd0ff5797a6e3f3681fc417d69278
Summary	Automatic theorem prover for SMT problems
Description	CVC5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4. CVC5 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its predecessors.
Built by	davidlt
State	failed
Volume	DEFAULT
Started	Wed, 03 Jan 2024 18:36:34 UTC
Completed	Thu, 04 Jan 2024 16:19:14 UTC
Task	build (f40, /rpms/cvc5.git:fee791d29f4fd0ff5797a6e3f3681fc417d69278)
Extra	{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cvc5.git#fee791d29f4fd0ff5797a6e3f3681fc417d69278'}}
Tags	No tags
RPMs	No RPMs
Changelog	* Fri Sep 15 2023 Jerry James <loganjerry@gmail.com> 1.0.8-1 - Version 1.0.8 * Wed Aug 09 2023 Jerry James <loganjerry@gmail.com> 1.0.5-3 - Build with yosyshq-abc instead of abc * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> 1.0.5-2 - Skip tests on s390x * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> 1.0.5-1 - Initial RPM