otter_3.3f-1.1_amd64.deb


Advertisement

Description

otter - resolution-style theorem prover

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

Requires

    Download

    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

    • /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

    Advertisement
    Advertisement