Package: ladr4-apps (0.0.200902a-2)

[ Source: ladr  ]

the LADR deduction library, miscellaneous applications

LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.

This package provides miscellaneous LADR applications.

Tags: Role: Program

Other Packages Related to ladr4-apps

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.1) [i386]

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.2) [mips, mipsel]

  dep: libc6 (>= 2.2.5) [amd64]

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

  dep: libc6 (>= 2.6) [sparc]

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc6.1-udeb

• dep: libladr4 (>= 0.0.200902a)

  the LADR deduction library

• dep: python

  langage interactif de haut niveau orienté objet (version par défaut)

• rec: prover9-doc (<< 0.0.200902b)

  documentation for Prover9 and associated programs

  rec: prover9-doc (>> 0.0.200902a)

Download ladr4-apps

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	361.2 kB	1,024.0 kB	[list of files]
armel	331.0 kB	896.0 kB	[list of files]
i386	326.9 kB	912.0 kB	[list of files]
ia64	500.2 kB	1,788.0 kB	[list of files]
kfreebsd-amd64	360.5 kB	942.0 kB	[list of files]
kfreebsd-i386	328.6 kB	818.0 kB	[list of files]
mips	339.0 kB	1,088.0 kB	[list of files]
mipsel	336.3 kB	1,088.0 kB	[list of files]
powerpc	387.7 kB	1,100.0 kB	[list of files]
s390	380.5 kB	1,000.0 kB	[list of files]
sparc	347.8 kB	932.0 kB	[list of files]