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


Advertisement

Description

prover9-apps - LADR Deduction Library - Miscellaneous Applications

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package name prover9-apps
Package version 200911a
Package release 12.fc26
Package architecture x86_64
Package type rpm
Installed size 8.75 MB
Download size 1.39 MB
Official Mirror dl.fedoraproject.org
LADR (Library for Automated Deduction Research) is a library for use in
constructing theorem provers. Among other useful routines it provides
facilities for applying inference rules such as resolution and
paramodulation to clauses. LADR is used by the prover9 theorem prover,
and by the mace4 countermodel generator.
This package provides miscellaneous LADR applications.

Alternatives

Package Version Architecture Repository
prover9-apps - - -

Requires

Name Value
/usr/bin/python -
libc.so.6(GLIBC_2.14)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
prover9 = 200911a-12.fc26
rtld(GNU_HASH) -

Provides

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

Download

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

Install Howto

Install the prover9-apps rpm package:

# dnf install prover9-apps

Files

Path
/usr/bin/prover9-attack
/usr/bin/prover9-autosketches4
/usr/bin/prover9-clausefilter
/usr/bin/prover9-clausetester
/usr/bin/prover9-complex
/usr/bin/prover9-directproof
/usr/bin/prover9-dprofiles
/usr/bin/prover9-fof-prover9
/usr/bin/prover9-gen_trc_defs
/usr/bin/prover9-get_givens
/usr/bin/prover9-get_interps
/usr/bin/prover9-get_kept
/usr/bin/prover9-gvizify
/usr/bin/prover9-idfilter
/usr/bin/prover9-interpfilter
/usr/bin/prover9-ladr_to_tptp
/usr/bin/prover9-latfilter
/usr/bin/prover9-looper
/usr/bin/prover9-miniscope
/usr/bin/prover9-mirror-flip
/usr/bin/prover9-newauto
/usr/bin/prover9-newsax
/usr/bin/prover9-olfilter
/usr/bin/prover9-perm3
/usr/bin/prover9-renamer
/usr/bin/prover9-rewriter
/usr/bin/prover9-sigtest
/usr/bin/prover9-test_complex
/usr/bin/prover9-tptp_to_ladr
/usr/bin/prover9-unfast
/usr/bin/prover9-upper-covers
/usr/share/doc/prover9-apps/README.directproof
/usr/share/doc/prover9-apps/apps.examples/BA-sheffer
/usr/share/doc/prover9-apps/apps.examples/MOL-cand.296
/usr/share/doc/prover9-apps/apps.examples/Makefile
/usr/share/doc/prover9-apps/apps.examples/OL.in
/usr/share/doc/prover9-apps/apps.examples/README
/usr/share/doc/prover9-apps/apps.examples/distributivity
/usr/share/doc/prover9-apps/apps.examples/err
/usr/share/doc/prover9-apps/apps.examples/index.html
/usr/share/doc/prover9-apps/apps.examples/interp.OL6
/usr/share/doc/prover9-apps/apps.examples/lattice-sax
/usr/share/doc/prover9-apps/apps.examples/lattice-sax.id-check
/usr/share/doc/prover9-apps/apps.examples/lattice.rules
/usr/share/doc/prover9-apps/apps.examples/meet-join-equations
/usr/share/doc/prover9-apps/apps.examples/mjc01s-equations
/usr/share/doc/prover9-apps/apps.examples/non-MOL-OML
/usr/share/doc/prover9-apps/apps.examples/qg.in
/usr/share/doc/prover9-apps/apps.examples/run-all
/usr/share/doc/prover9-apps/apps.examples/sed1
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/BA-sheffer.out
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/MOL-cand.238
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/OL.6
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/OL.8
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/OL.8.out
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/OL.8.upper-covers
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/lattice-sax.rewritten
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/meet-join-equations.out
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/mjc01s-equations.out
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/qg.iso3
/usr/share/doc/prover9-apps/apps.examples/backup.Jan14/qg.out3
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/BA-sheffer.out
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/MOL-cand.238
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/OL.6
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/OL.8
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/OL.8.out
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/OL.8.upper-covers
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/lattice-sax.rewritten
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/meet-join-equations.out
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/mjc01s-equations.out
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/qg.iso3
/usr/share/doc/prover9-apps/apps.examples/backup.Mar10/qg.out3
/usr/share/man/man1/prover9-apps.1.gz
/usr/share/man/man1/prover9-clausefilter.1.gz
/usr/share/man/man1/prover9-clausetester.1.gz
/usr/share/man/man1/prover9-interpfilter.1.gz
/usr/share/man/man1/prover9-rewriter.1.gz

Changelog

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

See Also

Package Description
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
prozilla-devel-2.0.4-18.fc22.i686.rpm Development libraries and headers for prozilla
Advertisement
Advertisement