معرفی شرکت ها

prover9-mace4_0.5.dfsg-3_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

GUI for Prover9 and Mace4
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe all
نام بسته prover9-mace4
نام فایل بسته prover9-mace4_0.5.dfsg-3_all.deb
نسخه بسته 0.5.dfsg
انتشار بسته 3
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unm.edu/~mccune/mace4/
مجوز -
حجم دانلود 52670
حجم نصب 265
This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.


نیازمندی

مقدار نام
>= 2.7.5-5~ python:any
- python-wxgtk3.0
>= 0.0.200712-1 prover9


نحوه نصب


نصب پکیج deb prover9-mace4:

    sudo apt-get install prover9-mace4_0.5.dfsg-3_all.deb


فایل ها

مسیرها
./usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in
./usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in
./usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in
./usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in
./usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in
./usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in
./usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in
./usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in
./usr/share/prover9-mace4/Samples/Kauer.in
./usr/share/prover9-mace4/Samples/GT_Sax.in
./usr/share/prover9-mace4/lib/files.py
./usr/share/prover9-mace4/lib/options.py
./usr/share/prover9-mace4/lib/partition_input.py
./usr/share/prover9-mace4/lib/my_setup.py
./usr/share/prover9-mace4/lib/utilities.py
./usr/share/prover9-mace4/lib/control.py
./usr/share/prover9-mace4/lib/platforms.py
./usr/share/prover9-mace4/lib/wx_utilities.py
./usr/share/prover9-mace4/Images/mace4-90t.gif
./usr/share/prover9-mace4/Images/p9.ico
./usr/share/prover9-mace4/Images/prover9-splash.gif
./usr/share/prover9-mace4/Images/prover9-5a-128t.gif
./usr/share/python/runtime.d/prover9-mace4.rtupdate
./usr/share/doc/prover9-mace4/copyright
./usr/share/doc/prover9-mace4/changelog.Debian.gz
./usr/share/man/man1/prover9-mace4.1.gz