prover9-200911a-12.fc26.x86_64.rpm


Advertisement

Description

prover9 - Theorem Prover and Countermodel Generator

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package name prover9
Package version 200911a
Package release 12.fc26
Package architecture x86_64
Package type rpm
Installed size 2.95 MB
Download size 526.87 KB
Official Mirror dl.fedoraproject.org
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.

Alternatives

Package Version Architecture Repository
prover9 - - -

Requires

Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
prover9 = 200911a-12.fc26
prover9(x86-64) = 200911a-12.fc26

Download

Type URL
Binary Package prover9-200911a-12.fc26.x86_64.rpm
Source Package prover9-200911a-12.fc26.src.rpm

Install Howto

Install the prover9 rpm package:

# dnf install prover9

Files

Path
/usr/bin/mace4
/usr/bin/prover9
/usr/bin/prover9-interpformat
/usr/bin/prover9-isofilter
/usr/bin/prover9-isofilter0
/usr/bin/prover9-isofilter2
/usr/bin/prover9-prooftrans
/usr/share/doc/prover9/COPYING
/usr/share/doc/prover9/Changelog
/usr/share/doc/prover9/copyright
/usr/share/doc/prover9/TODO/ADAM_2007_loose_ends
/usr/share/doc/prover9/TODO/README
/usr/share/doc/prover9/TODO/factor.in
/usr/share/doc/prover9/TODO/mace4-segv.in
/usr/share/doc/prover9/TODO/temp
/usr/share/doc/prover9/mace4.examples/README
/usr/share/doc/prover9/mace4.examples/group2.in
/usr/share/doc/prover9/mace4.examples/rw1.in
/usr/share/doc/prover9/prover9.examples/README
/usr/share/doc/prover9/prover9.examples/x2.hints
/usr/share/doc/prover9/prover9.examples/x2.in
/usr/share/doc/prover9/prover9.examples/x2.out
/usr/share/man/man1/mace4.1.gz
/usr/share/man/man1/prover9-interpformat.1.gz
/usr/share/man/man1/prover9-isofilter.1.gz
/usr/share/man/man1/prover9-isofilter0.1.gz
/usr/share/man/man1/prover9-isofilter2.1.gz
/usr/share/man/man1/prover9-prooftrans.1.gz
/usr/share/man/man1/prover9.1.gz

Changelog

2017-02-11 - Fedora Release Engineering <releng@fedoraproject.org> - 200911a-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-02-04 - Fedora Release Engineering <releng@fedoraproject.org> - 200911a-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-07-27 - Bruno Wolff III <bruno@wolff.to> - 200911a-10
- Fix format string warning
2015-06-18 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-08-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-07 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-08-04 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-02-14 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2012-07-21 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-01-14 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200911a-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild

See Also

Package Description
prover9-apps-200911a-12.fc26.x86_64.rpm LADR Deduction Library - Miscellaneous Applications
prover9-devel-200911a-12.fc26.i686.rpm LADR Deduction Library - Development Files
prover9-devel-200911a-12.fc26.x86_64.rpm LADR Deduction Library - Development Files
prover9-doc-200911a-12.fc26.x86_64.rpm LADR Deduction Library - Documentation
proxool-0.9.1-22.fc29.noarch.rpm Java connection pool library
proxool-javadoc-0.9.1-22.fc29.noarch.rpm Javadoc for proxool
proxychains-ng-4.12-3.fc29.x86_64.rpm Redirect connections through proxy servers
proxyfuzz-20110923-12.fc29.noarch.rpm Man-in-the-middle non-deterministic network fuzzer
proxysql-1.3.7-8.fc29.x86_64.rpm A high-performance MySQL proxy
proxytoys-1.0-12.fc29.noarch.rpm An implementation neutral API for creation of dynamic proxies
proxytoys-example-code-1.0-12.fc29.noarch.rpm ProxyToys Example Code
proxytoys-javadoc-1.0-12.fc29.noarch.rpm Javadoc for proxytoys
proxytoys-parent-1.0-12.fc29.noarch.rpm ProxyToys parent POM
proxytunnel-1.9.1-7.fc29.x86_64.rpm Tool to tunnel a connection through an standard HTTP(S) proxy
prozilla-2.0.4-18.fc22.x86_64.rpm Advanced Linux download manager
Advertisement
Advertisement