prover9-devel-200911a-12.fc26.i686.rpm


Advertisement

Description

prover9-devel - LADR Deduction Library - Development Files

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package name prover9-devel
Package version 200911a
Package release 12.fc26
Package architecture i686
Package type rpm
Installed size 1.34 MB
Download size 342.53 KB
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 development support files and static development
libraries for LADR.

Alternatives

Package Version Architecture Repository
prover9-devel-200911a-12.fc26.x86_64.rpm 200911a x86_64 Fedora
prover9-devel - - -

Requires

Name Value
prover9 = 200911a-12.fc26

Provides

Name Value
prover9-devel = 200911a-12.fc26
prover9-devel(x86-32) = 200911a-12.fc26
prover9-static = 200911a-12.fc26

Download

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

Install Howto

Install prover9-devel rpm package:

# dnf install prover9-devel

Files

Path
/usr/include/ladr/ac_redun.h
/usr/include/ladr/accanon.h
/usr/include/ladr/attrib.h
/usr/include/ladr/avltree.h
/usr/include/ladr/backdemod.h
/usr/include/ladr/banner.h
/usr/include/ladr/basic.h
/usr/include/ladr/btm.h
/usr/include/ladr/btu.h
/usr/include/ladr/clash.h
/usr/include/ladr/clause_eval.h
/usr/include/ladr/clause_misc.h
/usr/include/ladr/clauseid.h
/usr/include/ladr/clauses.h
/usr/include/ladr/clausify.h
/usr/include/ladr/clist.h
/usr/include/ladr/clock.h
/usr/include/ladr/cnf.h
/usr/include/ladr/complex.h
/usr/include/ladr/compress.h
/usr/include/ladr/definitions.h
/usr/include/ladr/demod.h
/usr/include/ladr/di_tree.h
/usr/include/ladr/dioph.h
/usr/include/ladr/discrim.h
/usr/include/ladr/discrimb.h
/usr/include/ladr/discrimw.h
/usr/include/ladr/dollar.h
/usr/include/ladr/fastparse.h
/usr/include/ladr/fatal.h
/usr/include/ladr/features.h
/usr/include/ladr/flatdemod.h
/usr/include/ladr/flatterm.h
/usr/include/ladr/formula.h
/usr/include/ladr/fpa.h
/usr/include/ladr/fpalist.h
/usr/include/ladr/glist.h
/usr/include/ladr/hash.h
/usr/include/ladr/header.h
/usr/include/ladr/hints.h
/usr/include/ladr/ibuffer.h
/usr/include/ladr/index.h
/usr/include/ladr/int_code.h
/usr/include/ladr/interp.h
/usr/include/ladr/ioutil.h
/usr/include/ladr/ivy.h
/usr/include/ladr/just.h
/usr/include/ladr/ladr.h
/usr/include/ladr/lindex.h
/usr/include/ladr/listterm.h
/usr/include/ladr/literals.h
/usr/include/ladr/maximal.h
/usr/include/ladr/memory.h
/usr/include/ladr/mindex.h
/usr/include/ladr/multiset.h
/usr/include/ladr/nonport.h
/usr/include/ladr/options.h
/usr/include/ladr/order.h
/usr/include/ladr/paramod.h
/usr/include/ladr/parautil.h
/usr/include/ladr/parse.h
/usr/include/ladr/pindex.h
/usr/include/ladr/random.h
/usr/include/ladr/resolve.h
/usr/include/ladr/std_options.h
/usr/include/ladr/strbuf.h
/usr/include/ladr/string.h
/usr/include/ladr/subsume.h
/usr/include/ladr/symbols.h
/usr/include/ladr/term.h
/usr/include/ladr/termflag.h
/usr/include/ladr/termorder.h
/usr/include/ladr/tlist.h
/usr/include/ladr/top_input.h
/usr/include/ladr/topform.h
/usr/include/ladr/tptp_trans.h
/usr/include/ladr/unify.h
/usr/include/ladr/weight.h
/usr/include/ladr/weight2.h
/usr/include/ladr/xproofs.h
/usr/lib/libladr.a
/usr/share/doc/prover9-devel/
/usr/share/doc/prover9-devel/html/ac_redun.html
/usr/share/doc/prover9-devel/html/accanon.html
/usr/share/doc/prover9-devel/html/attrib.html
/usr/share/doc/prover9-devel/html/avltree.html
/usr/share/doc/prover9-devel/html/backdemod.html
/usr/share/doc/prover9-devel/html/banner.html
/usr/share/doc/prover9-devel/html/basic.html
/usr/share/doc/prover9-devel/html/btm.html
/usr/share/doc/prover9-devel/html/btu.html
/usr/share/doc/prover9-devel/html/clash.html
/usr/share/doc/prover9-devel/html/clause_eval.html
/usr/share/doc/prover9-devel/html/clause_misc.html
/usr/share/doc/prover9-devel/html/clauseid.html
/usr/share/doc/prover9-devel/html/clauses.html
/usr/share/doc/prover9-devel/html/clausify.html
/usr/share/doc/prover9-devel/html/clist.html
/usr/share/doc/prover9-devel/html/clock.html
/usr/share/doc/prover9-devel/html/cnf.html
/usr/share/doc/prover9-devel/html/compress.html
/usr/share/doc/prover9-devel/html/definitions.html
/usr/share/doc/prover9-devel/html/demod.html
/usr/share/doc/prover9-devel/html/di_tree.html
/usr/share/doc/prover9-devel/html/dioph.html
/usr/share/doc/prover9-devel/html/discrim.html
/usr/share/doc/prover9-devel/html/discrimb.html
/usr/share/doc/prover9-devel/html/discrimw.html
/usr/share/doc/prover9-devel/html/fastparse.html
/usr/share/doc/prover9-devel/html/fatal.html
/usr/share/doc/prover9-devel/html/features.html
/usr/share/doc/prover9-devel/html/flatdemod.html
/usr/share/doc/prover9-devel/html/flatterm.html
/usr/share/doc/prover9-devel/html/formula.html
/usr/share/doc/prover9-devel/html/fpa.html
/usr/share/doc/prover9-devel/html/fpalist.html
/usr/share/doc/prover9-devel/html/glist.html
/usr/share/doc/prover9-devel/html/hash.html
/usr/share/doc/prover9-devel/html/hints.html
/usr/share/doc/prover9-devel/html/ibuffer.html
/usr/share/doc/prover9-devel/html/index.html
/usr/share/doc/prover9-devel/html/int_code.html
/usr/share/doc/prover9-devel/html/interp.html
/usr/share/doc/prover9-devel/html/ioutil.html
/usr/share/doc/prover9-devel/html/ivy.html
/usr/share/doc/prover9-devel/html/just.html
/usr/share/doc/prover9-devel/html/lindex.html
/usr/share/doc/prover9-devel/html/listterm.html
/usr/share/doc/prover9-devel/html/literals.html
/usr/share/doc/prover9-devel/html/maximal.html
/usr/share/doc/prover9-devel/html/memory.html
/usr/share/doc/prover9-devel/html/mindex.html
/usr/share/doc/prover9-devel/html/multiset.html
/usr/share/doc/prover9-devel/html/nonport.html
/usr/share/doc/prover9-devel/html/options.html
/usr/share/doc/prover9-devel/html/order.html
/usr/share/doc/prover9-devel/html/paramod.html
/usr/share/doc/prover9-devel/html/parautil.html
/usr/share/doc/prover9-devel/html/parse.html
/usr/share/doc/prover9-devel/html/pindex.html
/usr/share/doc/prover9-devel/html/random.html
/usr/share/doc/prover9-devel/html/resolve.html
/usr/share/doc/prover9-devel/html/sos.html
/usr/share/doc/prover9-devel/html/std_options.html
/usr/share/doc/prover9-devel/html/strbuf.html
/usr/share/doc/prover9-devel/html/string.html
/usr/share/doc/prover9-devel/html/subsume.html
/usr/share/doc/prover9-devel/html/symbols.html
/usr/share/doc/prover9-devel/html/term.html
/usr/share/doc/prover9-devel/html/termflag.html
/usr/share/doc/prover9-devel/html/termorder.html
/usr/share/doc/prover9-devel/html/tlist.html
/usr/share/doc/prover9-devel/html/top_input.html
/usr/share/doc/prover9-devel/html/topform.html
/usr/share/doc/prover9-devel/html/tptp_trans.html
/usr/share/doc/prover9-devel/html/unify.html
/usr/share/doc/prover9-devel/html/weight.html
/usr/share/doc/prover9-devel/html/xproofs.html

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-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
prozilla-devel-2.0.4-18.fc22.x86_64.rpm Development libraries and headers for prozilla
prunerepo-1.13-1.fc30.noarch.rpm Remove old packages from rpm-md repository
Advertisement
Advertisement