Package: libladr-dev (0.0.200911a-2.1 and others)

Links for libladr-dev

Debian Resources:

Download Source Package ladr:

Maintainer:

Debian QA Group (QA Page)

External Resources:

Homepage [www.cs.unm.edu]

Similar packages:

LADR-deduktionsbiblioteket, udviklingsfiler

LADR (Library for Automated Deduction Research) er et bibliotek for brug i konstruktion af beviser for læresætninger. Blandt andre brugbare rutiner, tilbyder det faciliteter for anvendelse af bestemmelsesregler, såsom opløsning og paramodulation for klausuler. LADR bruges af beviset for prover9-læresætningen og af opretteren for mace4-modmodellen.

Denne pakke tilbyder udviklingsunderstøttelsesfiler for LADR.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libladr-dev

depends

recommends

suggests

enhances

dep: libladr4 (= 0.0.200911a-2.1+b2)

LADR-deduktionsbiblioteket

Download libladr-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	0.0.200911a-2.1+b2	278.2 kB	1,584.0 kB	[list of files]
arm64	0.0.200911a-2.1+b2	252.1 kB	1,506.0 kB	[list of files]
armhf	0.0.200911a-2.1+b2	253.2 kB	1,219.0 kB	[list of files]
i386	0.0.200911a-2.1+b2	303.7 kB	1,483.0 kB	[list of files]