Package: libladr4 (0.0.200911a-2.1 and others)

Links for libladr4

External Resources:

Homepage [www.cs.unm.edu]

Similar packages:

libladr-dev
prover9
prover9-doc
prover9-mace4
why3
spass
libz3-4
z3
libz3-dev
libz3-jni
libz3-cil

LADR-deduktionsbiblioteket

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.

Tags: Role: Shared Library

Other Packages Related to libladr4

depends

recommends

suggests

enhances

dep: libc6 (>= 2.4)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

Download libladr4

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
armhf	0.0.200911a-2.1+b2	155.1 kB	344.0 kB	[list of files]