zenon-0.8.2-2.fc25.x86_64.rpm


Advertisement

Description

zenon - Automated theorem prover for first-order classical logic

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name zenon
Package version 0.8.2
Package release 2.fc25
Package architecture x86_64
Package type rpm
Installed size 2.62 MB
Download size 1.06 MB
Official Mirror dl.fedoraproject.org
Zenon is an automated theorem prover for first order classical logic
with equality, based on the tableau method.  Zenon can read input files
in TPTP, Coq, Focal, and its own Zenon format.  Zenon can directly
generate Coq proofs (proof scripts or proof terms), which can be
reinserted into Coq specifications.  Zenon can also be extended.

Alternatives

Package Version Architecture Repository
zenon-0.8.2-5.fc25.i686.rpm 0.8.2 i686 Fedora Updates
zenon-0.8.2-5.fc25.x86_64.rpm 0.8.2 x86_64 Fedora Updates
zenon-0.8.2-2.fc25.i686.rpm 0.8.2 i686 Fedora
zenon - - -

Requires

Name Value
coq(x86-64) = 8.5pl2
coreutils -
libc.so.6(GLIBC_2.14)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
zenon = 0.8.2-2.fc25
zenon(x86-64) = 0.8.2-2.fc25

Download

Type URL
Binary Package zenon-0.8.2-2.fc25.x86_64.rpm
Source Package zenon-0.8.2-2.fc25.src.rpm

Install Howto

Install the zenon rpm package:

# dnf install zenon

Files

Path
/usr/bin/zenon
/usr/lib64/coq/user-contrib/Zenon/zenon.v
/usr/lib64/coq/user-contrib/Zenon/zenon.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.v
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.v
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo
/usr/share/doc/zenon/zenlpar07.pdf
/usr/share/doc/zenon/examples/tptp-COM003+2.p
/usr/share/doc/zenon/examples/tptp-ReadMe
/usr/share/licenses/zenon/LICENSE
/usr/share/man/man1/zenon.1.gz
/usr/share/man/man5/zenon-format.5.gz

Changelog

2016-07-13 - Jerry James <loganjerry@gmail.com> - 0.8.2-2
- Rebuild for coq 8.5pl2
2016-06-10 - Jerry James <loganjerry@gmail.com> - 0.8.2-1
- New upstream release
2016-06-01 - Jerry James <loganjerry@gmail.com> - 0.8.1-1
- New upstream release
2016-04-22 - Jerry James <loganjerry@gmail.com> - 0.8.0-8
- Rebuild for coq 8.5pl1
2016-02-12 - Jerry James <loganjerry@gmail.com> - 0.8.0-7
- Rebuild for coq 8.5
2016-02-05 - Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-06-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.8.0-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-04-11 - Jerry James <loganjerry@gmail.com> - 0.8.0-4
- Rebuild for coq 8.4pl6
2015-01-07 - Jerry James <loganjerry@gmail.com> - 0.8.0-3
- Update URLs
2014-10-30 - Jerry James <loganjerry@gmail.com> - 0.8.0-2
- Rebuild for coq 8.4pl5

See Also

Package Description
zerofree-1.0.3-6.fc25.x86_64.rpm Utility to force unused ext2 inodes and blocks to zero
zeroinstall-injector-2.3.3-5.fc25.noarch.rpm The Zero Install Injector (0launch)
zeromq-4.1.4-5.fc25.i686.rpm Software library for fast, message-based applications
zeromq-4.1.4-5.fc25.x86_64.rpm Software library for fast, message-based applications
zeromq-ada-2.1.0-20.24032011git.fc24.i686.rpm Ada binding for zeromq
zeromq-ada-2.1.0-20.24032011git.fc24.x86_64.rpm Ada binding for zeromq
zeromq-ada-devel-2.1.0-20.24032011git.fc24.i686.rpm Devel package for Ada binding for zeromq
zeromq-ada-devel-2.1.0-20.24032011git.fc24.x86_64.rpm Devel package for Ada binding for zeromq
zeromq-devel-4.1.4-5.fc25.i686.rpm Development files for zeromq
zeromq-devel-4.1.4-5.fc25.x86_64.rpm Development files for zeromq
zeromq2-2.2.0-15.fc24.i686.rpm Software library for fast, message-based applications - Version 2
zeromq2-2.2.0-15.fc24.x86_64.rpm Software library for fast, message-based applications - Version 2
zeromq2-devel-2.2.0-15.fc24.i686.rpm Development files for zeromq2
zeromq2-devel-2.2.0-15.fc24.x86_64.rpm Development files for zeromq2
zeromq3-3.2.5-3.fc23.i686.rpm Software library for fast, message-based applications
Advertisement
Advertisement