Sat, 24 Sep 2022 17:29:42 UTC

Information for build prover9-200911a-1.fc14

ID188645
Package Nameprover9
Version200911a
Release1.fc14
Epoch
SummaryTheorem Prover and Countermodel Generator
DescriptionThis 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 bydwheeler
State complete
Volume fedora_koji_archive00
StartedFri, 06 Aug 2010 01:24:19 UTC
CompletedFri, 06 Aug 2010 01:26:53 UTC
Taskbuild (dist-f14-updates-candidate, /prover9:b2b1666d7c9d37459aa24ee5652ef42254a2ef20)
Tags
dist-f14-updates
dist-f15
RPMs
src
prover9-200911a-1.fc14.src.rpm (info) (download)
i686
prover9-200911a-1.fc14.i686.rpm (info) (download)
prover9-apps-200911a-1.fc14.i686.rpm (info) (download)
prover9-devel-200911a-1.fc14.i686.rpm (info) (download)
prover9-doc-200911a-1.fc14.i686.rpm (info) (download)
prover9-debuginfo-200911a-1.fc14.i686.rpm (info) (download)
x86_64
prover9-200911a-1.fc14.x86_64.rpm (info) (download)
prover9-apps-200911a-1.fc14.x86_64.rpm (info) (download)
prover9-devel-200911a-1.fc14.x86_64.rpm (info) (download)
prover9-doc-200911a-1.fc14.x86_64.rpm (info) (download)
prover9-debuginfo-200911a-1.fc14.x86_64.rpm (info) (download)
Logs
i686
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * 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