معرفی شرکت ها

libladr-dev_0.0.200911a-2.1build1_i386.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

the LADR deduction library, development files
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته libladr-dev
نام فایل بسته libladr-dev_0.0.200911a-2.1build1_i386.deb
نسخه بسته 0.0.200911a
انتشار بسته 2.1build1
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unm.edu/~mccune/mace4/
مجوز -
حجم دانلود 287308
حجم نصب 1467
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.


جایگزین ها

بسته نسخه معماری مخزن
libladr-dev_0.0.200911a-2.1build1_amd64.deb 0.0.200911a amd64 Ubuntu universe


نیازمندی

مقدار نام
= 0.0.200911a-2.1build1 libladr4


نحوه نصب


نصب پکیج deb libladr-dev:

    sudo apt-get install libladr-dev_0.0.200911a-2.1build1_i386.deb


فایل ها

مسیرها
./usr/include/ladr/ac_redun.h
./usr/include/ladr/accanon.h
./usr/include/ladr/attrib.h
./usr/include/ladr/avltree.h
./usr/include/ladr/backdemod.h
./usr/include/ladr/banner.h
./usr/include/ladr/basic.h
./usr/include/ladr/btm.h
./usr/include/ladr/btu.h
./usr/include/ladr/clash.h
./usr/include/ladr/clause_eval.h
./usr/include/ladr/clause_misc.h
./usr/include/ladr/clauseid.h
./usr/include/ladr/clauses.h
./usr/include/ladr/clausify.h
./usr/include/ladr/clist.h
./usr/include/ladr/clock.h
./usr/include/ladr/cnf.h
./usr/include/ladr/complex.h
./usr/include/ladr/compress.h
./usr/include/ladr/definitions.h
./usr/include/ladr/demod.h
./usr/include/ladr/di_tree.h
./usr/include/ladr/dioph.h
./usr/include/ladr/discrim.h
./usr/include/ladr/discrimb.h
./usr/include/ladr/discrimw.h
./usr/include/ladr/dollar.h
./usr/include/ladr/fastparse.h
./usr/include/ladr/fatal.h
./usr/include/ladr/features.h
./usr/include/ladr/flatdemod.h
./usr/include/ladr/flatterm.h
./usr/include/ladr/formula.h
./usr/include/ladr/fpa.h
./usr/include/ladr/fpalist.h
./usr/include/ladr/glist.h
./usr/include/ladr/hash.h
./usr/include/ladr/header.h
./usr/include/ladr/hints.h
./usr/include/ladr/ibuffer.h
./usr/include/ladr/index.h
./usr/include/ladr/int_code.h
./usr/include/ladr/interp.h
./usr/include/ladr/ioutil.h
./usr/include/ladr/ivy.h
./usr/include/ladr/just.h
./usr/include/ladr/ladr.h
./usr/include/ladr/lindex.h
./usr/include/ladr/listterm.h
... and 110 more