otter_3.3f-1.1_amd64.deb


Advertisement

Description

otter - resolution-style theorem prover

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main amd64
Package name otter
Package version 3.3f
Package release 1.1
Package architecture amd64
Package type deb
Installed size 1.26 KB
Download size 766.96 KB
Official Mirror ftp.br.debian.org
OTTER is an automated theorem prover for equational logic developed
at Argonne National Laboratory.
OTTER's inference rules are based on resolution and paramodulation,
and it includes facilities for term rewriting, term orderings,
Knuth-Bendix completion, weighting, and strategies for directing and
restricting searches for proofs. OTTER can also be used as a symbolic
calculator and has an embedded equational programming system.

Alternatives

Package Version Architecture Repository
otter_3.3f-1.1_i386.deb 3.3f i386 Debian Main
otter - - -

Requires

Name Value
libc6 >= 2.7

Download

Type URL
Binary Package otter_3.3f-1.1_amd64.deb
Source Package otter

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install otter deb package:
    # sudo apt-get install otter

Files

Path
/usr/bin/otter
/usr/share/doc/otter/README
/usr/share/doc/otter/README.Ivy
/usr/share/doc/otter/changelog.Debian.gz
/usr/share/doc/otter/changelog.gz
/usr/share/doc/otter/copyright
/usr/share/doc/otter/otter33.html
/usr/share/doc/otter/otter33.ps.gz
/usr/share/doc/otter/examples/Makefile
/usr/share/doc/otter/examples/README
/usr/share/doc/otter/examples/Run_all
/usr/share/doc/otter/examples/Run_all.out.gz
/usr/share/doc/otter/examples/Run_group
/usr/share/doc/otter/examples/index.html
/usr/share/doc/otter/examples/summary
/usr/share/doc/otter/examples/Loop/README
/usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz
/usr/share/doc/otter/examples/Loop/head
/usr/share/doc/otter/examples/Loop/otter-ploop
/usr/share/doc/otter/examples/Loop/temp.gz
/usr/share/doc/otter/examples/auto/README
/usr/share/doc/otter/examples/auto/cn19.in
/usr/share/doc/otter/examples/auto/cn19.out.gz
/usr/share/doc/otter/examples/auto/comm.in
/usr/share/doc/otter/examples/auto/comm.out.gz
/usr/share/doc/otter/examples/auto/ec_yq.in
/usr/share/doc/otter/examples/auto/ec_yq.out.gz
/usr/share/doc/otter/examples/auto/group.in
/usr/share/doc/otter/examples/auto/group.out.gz
/usr/share/doc/otter/examples/auto/index.html
/usr/share/doc/otter/examples/auto/lifsch.in
/usr/share/doc/otter/examples/auto/lifsch.out.gz
/usr/share/doc/otter/examples/auto/mv25.in
/usr/share/doc/otter/examples/auto/mv25.out.gz
/usr/share/doc/otter/examples/auto/pigeon.in
/usr/share/doc/otter/examples/auto/pigeon.out.gz
/usr/share/doc/otter/examples/auto/ring_x2.in
/usr/share/doc/otter/examples/auto/ring_x2.out.gz
/usr/share/doc/otter/examples/auto/robbins.in
/usr/share/doc/otter/examples/auto/robbins.out.gz
/usr/share/doc/otter/examples/auto/salt.in
/usr/share/doc/otter/examples/auto/salt.out.gz
/usr/share/doc/otter/examples/auto/sam.in
/usr/share/doc/otter/examples/auto/sam.out.gz
/usr/share/doc/otter/examples/auto/steam.in
/usr/share/doc/otter/examples/auto/steam.out.gz
/usr/share/doc/otter/examples/auto/tba_gg.in
/usr/share/doc/otter/examples/auto/tba_gg.out.gz
/usr/share/doc/otter/examples/auto/w_sk.in
/usr/share/doc/otter/examples/auto/w_sk.out.gz
/usr/share/doc/otter/examples/auto/wang1.in
/usr/share/doc/otter/examples/auto/wang1.out.gz
/usr/share/doc/otter/examples/auto/x2_quant.in
/usr/share/doc/otter/examples/auto/x2_quant.out.gz
/usr/share/doc/otter/examples/auto/z11.in
/usr/share/doc/otter/examples/auto/z11.out.gz
/usr/share/doc/otter/examples/fringe/README
/usr/share/doc/otter/examples/fringe/bring.in
/usr/share/doc/otter/examples/fringe/bring.out.gz
/usr/share/doc/otter/examples/fringe/ec_yql.in
/usr/share/doc/otter/examples/fringe/ec_yql.in.28897
/usr/share/doc/otter/examples/fringe/ec_yql.out.gz
/usr/share/doc/otter/examples/fringe/gl4.in
/usr/share/doc/otter/examples/fringe/gl4.in.28897
/usr/share/doc/otter/examples/fringe/gl4.out.gz
/usr/share/doc/otter/examples/fringe/gl8.in
/usr/share/doc/otter/examples/fringe/gl8.out
/usr/share/doc/otter/examples/fringe/if.in
/usr/share/doc/otter/examples/fringe/if.out.gz
/usr/share/doc/otter/examples/fringe/index.html
/usr/share/doc/otter/examples/fringe/lexical1.in
/usr/share/doc/otter/examples/fringe/lexical1.out
/usr/share/doc/otter/examples/fringe/lexical2.in
/usr/share/doc/otter/examples/fringe/lexical2.out
/usr/share/doc/otter/examples/fringe/lexical3.in
/usr/share/doc/otter/examples/fringe/lexical3.out
/usr/share/doc/otter/examples/fringe/luka5h.in.gz
/usr/share/doc/otter/examples/fringe/luka5h.out.gz
/usr/share/doc/otter/examples/fringe/mfl_13.in
/usr/share/doc/otter/examples/fringe/mfl_13.out.gz
/usr/share/doc/otter/examples/fringe/olsax_hints.in.gz
/usr/share/doc/otter/examples/fringe/olsax_hints.out.gz
/usr/share/doc/otter/examples/fringe/rob_ocd.in
/usr/share/doc/otter/examples/fringe/rob_ocd.out.gz
/usr/share/doc/otter/examples/fringe/x3tricks.in.gz
/usr/share/doc/otter/examples/fringe/x3tricks.out.gz
/usr/share/doc/otter/examples/ivy/README
/usr/share/doc/otter/examples/ivy/cd-cn19.in
/usr/share/doc/otter/examples/ivy/cd-cn19.out.gz
/usr/share/doc/otter/examples/ivy/comb-sk-w.in
/usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz
/usr/share/doc/otter/examples/ivy/group-comm.in
/usr/share/doc/otter/examples/ivy/group-comm.out.gz
/usr/share/doc/otter/examples/ivy/group-x2-refute.in
/usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz
/usr/share/doc/otter/examples/ivy/group-x2.in
/usr/share/doc/otter/examples/ivy/group-x2.out.gz
/usr/share/doc/otter/examples/ivy/index.html
/usr/share/doc/otter/examples/ivy/lifsch.in
/usr/share/doc/otter/examples/ivy/lifsch.out.gz
/usr/share/doc/otter/examples/ivy/p-and-not-p.in
/usr/share/doc/otter/examples/ivy/p-and-not-p.out
/usr/share/doc/otter/examples/ivy/steam.in
/usr/share/doc/otter/examples/ivy/steam.out.gz
/usr/share/doc/otter/examples/ivy/t1.in
/usr/share/doc/otter/examples/ivy/t1.out.gz
/usr/share/doc/otter/examples/kalman/README
/usr/share/doc/otter/examples/kalman/ex_1.in
/usr/share/doc/otter/examples/kalman/ex_1.out.gz
/usr/share/doc/otter/examples/kalman/ex_2.in
/usr/share/doc/otter/examples/kalman/ex_2.out.gz
/usr/share/doc/otter/examples/kalman/ex_3.in
/usr/share/doc/otter/examples/kalman/ex_3.out.gz
/usr/share/doc/otter/examples/kalman/ex_4.in
/usr/share/doc/otter/examples/kalman/ex_4.out.gz
/usr/share/doc/otter/examples/kalman/i1.in
/usr/share/doc/otter/examples/kalman/i1.out
/usr/share/doc/otter/examples/kalman/i2.in
/usr/share/doc/otter/examples/kalman/i2.out
/usr/share/doc/otter/examples/kalman/i3.in.gz
/usr/share/doc/otter/examples/kalman/i3.out.gz
/usr/share/doc/otter/examples/kalman/i4.in.gz
/usr/share/doc/otter/examples/kalman/i4.out.gz
/usr/share/doc/otter/examples/kalman/index.html
/usr/share/doc/otter/examples/misc/README
/usr/share/doc/otter/examples/misc/andrews.in
/usr/share/doc/otter/examples/misc/andrews.in.28752
/usr/share/doc/otter/examples/misc/andrews.out.gz
/usr/share/doc/otter/examples/misc/cn.in
/usr/share/doc/otter/examples/misc/cn.in.28752
/usr/share/doc/otter/examples/misc/cn.out.gz
/usr/share/doc/otter/examples/misc/dem_alu.in
/usr/share/doc/otter/examples/misc/dem_alu.in.28752
/usr/share/doc/otter/examples/misc/dem_alu.out
/usr/share/doc/otter/examples/misc/ec.in
/usr/share/doc/otter/examples/misc/ec.out.gz
/usr/share/doc/otter/examples/misc/index.html
/usr/share/doc/otter/examples/misc/kb_bench.in
/usr/share/doc/otter/examples/misc/kb_bench.out.gz
/usr/share/doc/otter/examples/misc/mv.in
/usr/share/doc/otter/examples/misc/mv.in.28752
/usr/share/doc/otter/examples/misc/mv.out.gz
/usr/share/doc/otter/examples/misc/sax1.in
/usr/share/doc/otter/examples/misc/sax1.out.gz
/usr/share/doc/otter/examples/misc/sax2.in
/usr/share/doc/otter/examples/misc/sax2.out.gz
/usr/share/doc/otter/examples/misc/stage1.in
/usr/share/doc/otter/examples/misc/stage1.out.gz
/usr/share/doc/otter/examples/misc/stage2.in
/usr/share/doc/otter/examples/misc/stage2.out.gz
/usr/share/doc/otter/examples/misc/str_bws.in
/usr/share/doc/otter/examples/misc/str_bws.in.28752
/usr/share/doc/otter/examples/misc/str_bws.out.gz
/usr/share/doc/otter/examples/program/README
/usr/share/doc/otter/examples/program/eval.in
/usr/share/doc/otter/examples/program/eval.out
/usr/share/doc/otter/examples/program/index.html
/usr/share/doc/otter/examples/program/jugs.in
/usr/share/doc/otter/examples/program/jugs.out
/usr/share/doc/otter/examples/program/mission.in
/usr/share/doc/otter/examples/program/mission.out.gz
/usr/share/doc/otter/examples/program/queens.in
/usr/share/doc/otter/examples/program/queens.out.gz
/usr/share/doc/otter/examples/program/two_inv.in
/usr/share/doc/otter/examples/program/two_inv.out
/usr/share/doc/otter/examples/split/GEO010-2.in.gz
/usr/share/doc/otter/examples/split/GEO010-2.out.gz
/usr/share/doc/otter/examples/split/GEO036-2.in
/usr/share/doc/otter/examples/split/GEO036-2.out.gz
/usr/share/doc/otter/examples/split/GRP025-1.in.gz
/usr/share/doc/otter/examples/split/GRP025-1.out.gz
/usr/share/doc/otter/examples/split/README
/usr/share/doc/otter/examples/split/README.more
/usr/share/doc/otter/examples/split/group2.in
/usr/share/doc/otter/examples/split/group2.out.gz
/usr/share/doc/otter/examples/split/index.html
/usr/share/doc/otter/examples/split/noncomm-group.in.gz
/usr/share/doc/otter/examples/split/noncomm-group.out.gz
/usr/share/doc/otter/examples/split/pair.in
/usr/share/doc/otter/examples/split/pair.out.gz
/usr/share/doc/otter/examples/split/pigeon5.in
/usr/share/doc/otter/examples/split/pigeon5.out.gz
/usr/share/doc/otter/examples/split/power.in
/usr/share/doc/otter/examples/split/power.out.gz
/usr/share/doc/otter/examples/split/temp1
/usr/share/doc/otter/examples/split/wang3.in
/usr/share/doc/otter/examples/split/wang3.out.gz
/usr/share/doc/otter/examples/split/zebra2.in
/usr/share/doc/otter/examples/split/zebra2.out.gz
/usr/share/doc/otter/examples/split/zebra4.in
/usr/share/doc/otter/examples/split/zebra4.out.gz
/usr/share/doc/otter/examples/wos/README
/usr/share/doc/otter/examples/wos/README.more
/usr/share/doc/otter/examples/wos/cursory.in.gz
/usr/share/doc/otter/examples/wos/cursory.out.gz
/usr/share/doc/otter/examples/wos/grp_exp3.in
/usr/share/doc/otter/examples/wos/grp_exp3.out.gz
/usr/share/doc/otter/examples/wos/grp_exp4.in.gz
/usr/share/doc/otter/examples/wos/grp_exp4.out.gz
/usr/share/doc/otter/examples/wos/index.html
/usr/share/doc/otter/examples/wos/manyval.in
/usr/share/doc/otter/examples/wos/manyval.out.gz
/usr/share/doc/otter/examples/wos/rigorous.in.gz
/usr/share/doc/otter/examples/wos/rigorous.out.gz
/usr/share/doc/otter/examples/wos/rob_occ.in
/usr/share/doc/otter/examples/wos/rob_occ.out.gz
/usr/share/doc/otter/examples/wos/twoval.in.gz
/usr/share/doc/otter/examples/wos/twoval.out.gz
/usr/share/man/man1/otter.1.gz

Changelog

2011-10-11 - Bart Martens <bartm@debian.org>
otter (3.3f-1.1) unstable; urgency=low
* Non-maintainer upload.
* source/formed/Makefile: Added -lX11 -lXt.  Closes: #555879.
* Fixed debhelper-but-no-misc-depends.
* Fixed debian-rules-ignores-make-clean-error.
2006-11-05 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
otter (3.3f-1) unstable; urgency=low
* Initial release (Closes: #397257)
* Fixed broken Makefiles
* Wrote manpages
* examples/Loop/otter-ploop, examples/summary: Fixed broken
interpreter path

See Also

Package Description
outguess_0.2-7_amd64.deb Universal Steganographic tool
overgod-data_1.0-1.1_all.deb graphics and audio data for overgod
overgod_1.0-1.1+b1_amd64.deb bi-directional scrolling arcade game
ovito-doc_0.9.5-2_all.deb documentation for ovito
ovito-examples_0.9.5-2_all.deb tutorial examples for ovito
ovito_0.9.5-2_amd64.deb visualization and analysis tool for atomistic simulation data
ovsdbmonitor_1.4.2+git20120612-9.1~deb7u1.1_all.deb Open vSwitch graphical monitoring tool
ow-shell_2.8p15-1_amd64.deb shell utilities to talk to an 1-Wire owserver
owfs-common_2.8p15-1_all.deb common files used by any of the OWFS programs
owfs-doc_2.8p15-1_all.deb Dallas 1-wire support: Documentation for owfs
owfs-fuse_2.8p15-1_amd64.deb 1-Wire filesystem
owfs_2.8p15-1_all.deb Dallas 1-wire support
owftpd_2.8p15-1_amd64.deb FTP daemon providing access to 1-Wire networks
owhttpd_2.8p15-1_amd64.deb HTTP daemon providing access to 1-Wire networks
owl_2.2.2-1.1+b3_amd64.deb A curses-based tty Zephyr client
Advertisement
Advertisement