prover9-200911a-12.fc29 | Build Info

Information for build prover9-200911a-12.fc29

32640

Package Name

prover9

Version

200911a

Release

12.fc29

Epoch

Summary

Theorem Prover and Countermodel Generator

Description

This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 05 Jun 2018 22:40:20 UTC

Completed

Wed, 06 Jun 2018 00:56:35 UTC

Task

build (f29-candidate, prover9-200911a-12.fc29.src.rpm)

Tags

RPMs

src
	prover9-200911a-12.fc29.src.rpm (info) (download)
riscv64
	prover9-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-apps-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-devel-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-doc-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-apps-debuginfo-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-debuginfo-200911a-12.fc29.riscv64.rpm (info) (download)
	prover9-debugsource-200911a-12.fc29.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 200911a-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 200911a-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Mon Jul 27 2015 Bruno Wolff III <bruno@wolff.to> - 200911a-10 - Fix format string warning * Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild * Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Sat Jul 24 2010 David A. Wheeler <dwheeler@dwheeler.com> - 200911a-1 - Update to upstream version 200911a. - Adds prover9-complex, prover9-gen_trc_defs, prover9-test_complex. - Fix spelling in RPM summary. * Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200805a-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Thu Feb 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200805a-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Wed Jul 09 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-4 - exclude ppc64 architecture as test2 fails * Tue Jul 08 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-3 - make -apps require base package instead of other way around - added check section to run built-in tests - fix perms on static library - fix perms on example script - use name prefix and install all binaries in /usr/bin - add name prefix to manpages, drop symlinks for missing manpages * Fri Jun 06 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-2 - dropped libtoolize patch and stopped shipping shared libraries - changed build to use rpm optflags - added -p flag to preserve timestamps - install all binaries except mace4/prover9 to /usr/lib/prover9/bin * Fri Jun 06 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-1 - renamed as prover9 - redesigned borrowing heavily from the Debian package by Peter Collingbourne - included patches from Debian package by Peter Collingbourne - added documentation source/package - updated version * Thu Jan 10 2008 Tim Colles <timc@inf.ed.ac.uk> - 200712-1 - initial version

Main Site Links:

Information for build prover9-200911a-12.fc29