[  lenny  ] [  sid  ]
[ Source: otter  ]

Package: formed (3.3f-1)

formula editor for first-order logic formulae

Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.

Other Packages Related to formed

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.3.5-1) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [not alpha, armel, hurd-i386, i386, ia64, kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.6-6) [i386]
    dep: libc6 (>= 2.5-5) [armel]
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libx11-6
    X11 client-side library
  • dep: libxaw7
    X11 Athena Widget library
  • dep: libxt6
    X11 toolkit intrinsics library
  • sug: otter
    resolution-style theorem prover

Download formed

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 188.5 kB504 kB [list of files]
amd64 173.2 kB404 kB [list of files]
arm 157.2 kB368 kB [list of files]
armel 159.2 kB376 kB [list of files]
hppa 179.5 kB416 kB [list of files]
hurd-i386 154.4 kB372 kB [list of files]
i386 153.7 kB372 kB [list of files]
ia64 267.2 kB860 kB [list of files]
kfreebsd-amd64 (unofficial port) 173.2 kB394 kB [list of files]
kfreebsd-i386 (unofficial port) 154.4 kB362 kB [list of files]
m68k 138.8 kB356 kB [list of files]
mips 181.8 kB552 kB [list of files]
mipsel 182.6 kB552 kB [list of files]
powerpc 168.4 kB436 kB [list of files]
s390 168.5 kB404 kB [list of files]
sparc 154.0 kB384 kB [list of files]