Paketti: libladr-dev (0.0.200911a-2.1build1)

Links for libladr-dev

Trisquel-palvelut:

Install using apturl
Entry at directory.fsf.org
Vikailmoitukset
Changelog
Tekijänoikeustiedosto

Imuroi lähdekoodipaketti ladr:

[ladr_0.0.200911a-2.1build1.dsc]
[ladr_0.0.200911a.orig.tar.gz]
[ladr_0.0.200911a-2.1build1.debian.tar.xz]

Ylläpitäjä:

Ubuntu Developers (Mail Archive)

Original Maintainer:

Debian QA Group

External Resources:

Kotisivu [www.cs.unm.edu]

Samankaltaisia paketteja:

ladr4-apps
prover9
prover9-doc
prover9-mace4
why3
libz3-dev
spass
libz3-4
libcvc3-dev
z3
libz3-jni

the LADR deduction library, development files

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 development support files for LADR.

Muut pakettiin libladr-dev liittyvät paketit

depends

recommends

suggests

dep: libladr4 (= 0.0.200911a-2.1build1)

the LADR deduction library

Imuroi libladr-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	255.8 kt	1574 kt	[tiedostoluettelo]
i386	280.6 kt	1467 kt	[tiedostoluettelo]

Sections