معرفی شرکت ها

sat4j_2.3.5-0.3_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Efficient library of SAT solvers in Java
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe all
نام بسته sat4j
نام فایل بسته sat4j_2.3.5-0.3_all.deb
نسخه بسته 2.3.5
انتشار بسته 0.3
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.sat4j.org
مجوز -
حجم دانلود 561236
حجم نصب 687
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers.


نیازمندی

مقدار نام
- default-jre | java7-runtime | java8-runtime | java9-runtime | java10-runtime | java11-runtime
>= 0.5 jarwrapper
- libcommons-cli-java


نحوه نصب


نصب پکیج deb sat4j:

    sudo apt-get install sat4j_2.3.5-0.3_all.deb


فایل ها

مسیرها
./usr/share/doc/sat4j/changelog.Debian.gz
./usr/share/doc/sat4j/copyright
./usr/share/java/org.ow2.sat4j.core-2.3.5.jar
./usr/share/java/org.ow2.sat4j.maxsat-2.3.5.jar
./usr/share/java/org.ow2.sat4j.pb-2.3.5.jar
./usr/share/man/man1/sat4j.1.gz
./usr/share/maven-repo/org/ow2/ow2/1.5/ow2-1.5.pom
./usr/share/maven-repo/org/ow2/ow2/debian/ow2-debian.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/2.3.5/org.ow2.sat4j.core-2.3.5.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/debian/org.ow2.sat4j.core-debian.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/2.3.5/org.ow2.sat4j.maxsat-2.3.5.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/debian/org.ow2.sat4j.maxsat-debian.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/2.3.5/org.ow2.sat4j.pb-2.3.5.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/debian/org.ow2.sat4j.pb-debian.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pom/2.3.5/org.ow2.sat4j.pom-2.3.5.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pom/debian/org.ow2.sat4j.pom-debian.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/2.3.5/org.ow2.sat4j.sat-2.3.5.pom
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/debian/org.ow2.sat4j.sat-debian.pom
./usr/bin/sat4j -> ../share/java/org.ow2.sat4j.core.jar
./usr/share/java/org.ow2.sat4j.core.jar -> org.ow2.sat4j.core-2.3.5.jar
./usr/share/java/org.ow2.sat4j.maxsat.jar -> org.ow2.sat4j.maxsat-2.3.5.jar
./usr/share/java/org.ow2.sat4j.pb.jar -> org.ow2.sat4j.pb-2.3.5.jar
./usr/share/java/org.sat4j.core.jar -> org.ow2.sat4j.core.jar
./usr/share/java/org.sat4j.pb.jar -> org.ow2.sat4j.pb.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/2.3.5/org.ow2.sat4j.core-2.3.5.jar -> ../../../../../../java/org.ow2.sat4j.core-2.3.5.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/debian/org.ow2.sat4j.core-debian.jar -> ../../../../../../java/org.ow2.sat4j.core-2.3.5.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/2.3.5/org.ow2.sat4j.maxsat-2.3.5.jar -> ../../../../../../java/org.ow2.sat4j.maxsat-2.3.5.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/debian/org.ow2.sat4j.maxsat-debian.jar -> ../../../../../../java/org.ow2.sat4j.maxsat-2.3.5.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/2.3.5/org.ow2.sat4j.pb-2.3.5.jar -> ../../../../../../java/org.ow2.sat4j.pb-2.3.5.jar
./usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/debian/org.ow2.sat4j.pb-debian.jar -> ../../../../../../java/org.ow2.sat4j.pb-2.3.5.jar