软件包: spass (3.7-3 以及其他的)

[ 源代码: spass  ]

An automated theorem prover for first-order logic with equality

其他与 spass 有关的软件包

• dep: dpkg (>= 1.15.4) [除 avr32, m68k]

  Debian package management system

  或者 install-info

  Manage installed documentation in info format

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实: libc0.1-udeb

• dep: libc0.3 (>= 2.13) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实: libc0.3-udeb

• dep: libc6 (>= 2.11) [hppa]

  Embedded GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实: libc6-udeb

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel, sparc64]

  dep: libc6 (>= 2.4) [armel, armhf, powerpc, powerpcspe, s390]

  dep: libc6 (>= 2.5) [avr32]

  dep: libc6 (>= 2.5-5) [m68k]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Embedded GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实: libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

下载 spass

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
alpha (非官方移植版)	3.7-3	2,378.7 kB	5,064.0 kB	[文件列表]
amd64	3.7-3	2,213.3 kB	4,304.0 kB	[文件列表]
armel	3.7-3	2,022.3 kB	3,864.0 kB	[文件列表]
armhf	3.7-3	1,936.0 kB	3,053.0 kB	[文件列表]
avr32 (非官方移植版)	2.1-4	1,205.0 kB	2,008.0 kB	[文件列表]
hppa	3.7-2	2,231.0 kB	4,176.0 kB	[文件列表]
hurd-i386	3.7-3	2,083.6 kB	4,180.0 kB	[文件列表]
i386	3.7-3	2,085.3 kB	4,180.0 kB	[文件列表]
ia64	3.7-3	3,015.3 kB	7,940.0 kB	[文件列表]
kfreebsd-amd64	3.7-3	2,213.3 kB	4,396.0 kB	[文件列表]
kfreebsd-i386	3.7-3	2,082.9 kB	4,252.0 kB	[文件列表]
m68k (非官方移植版)	2.1-4	1,113.6 kB	2,600.0 kB	[文件列表]
mips	3.7-3	2,028.1 kB	4,320.0 kB	[文件列表]
mipsel	3.7-3	2,033.9 kB	4,320.0 kB	[文件列表]
powerpc	3.7-3	2,076.6 kB	4,156.0 kB	[文件列表]
powerpcspe (非官方移植版)	3.7-3	2,191.4 kB	4,360.0 kB	[文件列表]
s390	3.7-3	2,125.0 kB	4,252.0 kB	[文件列表]
s390x	3.7-3	2,250.4 kB	4,610.0 kB	[文件列表]
sh4 (非官方移植版)	3.7-3	2,078.2 kB	3,840.0 kB	[文件列表]
sparc	3.7-3	2,047.6 kB	4,024.0 kB	[文件列表]
sparc64 (非官方移植版)	3.7-3	2,087.9 kB	4,176.0 kB	[文件列表]