alle opties
squeeze  ] [  wheezy  ] [  sid  ]
[ Bron: otter  ]

Pakket: otter (3.3f-1.1)

Verwijzigingen voor otter

Screenshot

Debian bronnen:

Het bronpakket otter downloaden:

Beheerder:

Vergelijkbare pakketten:

resolution-style theorem prover

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.

Andere aan otter gerelateerde pakketten

  • depends
  • recommends
  • suggests

otter downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 767,0 kB1.289,0 kB [overzicht]
armel 745,6 kB1.760,0 kB [overzicht]
armhf 733,9 kB1.168,0 kB [overzicht]
i386 759,0 kB1.286,0 kB [overzicht]
ia64 852,4 kB1.704,0 kB [overzicht]
kfreebsd-amd64 766,6 kB1.221,0 kB [overzicht]
kfreebsd-i386 759,0 kB1.218,0 kB [overzicht]
mips 750,9 kB1.301,0 kB [overzicht]
mipsel 751,3 kB1.301,0 kB [overzicht]
powerpc 757,8 kB1.282,0 kB [overzicht]
s390 761,1 kB1.293,0 kB [overzicht]
s390x 766,9 kB1.332,0 kB [overzicht]
sparc 747,6 kB1.270,0 kB [overzicht]