معرفی شرکت ها

sat4j-2.3.5-2.1-omv4000.noarch.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

A library of SAT solvers written in Java
ویژگی مقدار
سیستم عامل Linux
توزیع OpenMandriva cooker
مخزن OpenMandriva main-release noarch
نام بسته sat4j
نام فایل بسته sat4j-2.3.5-2.1-omv4000.noarch.rpm
نسخه بسته 2.3.5
انتشار بسته 2.1
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Sun 12 May 2019 11
هاست سازنده synquacer3-2.openmandriva.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.sat4j.org/
مجوز EPL or LGPLv2
حجم دانلود 511K
حجم نصب 554.876K
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.


نیازمندی

مقدار نام
>= 1:1.6 java
- jpackage-utils


ارائه دهنده

مقدار نام
= 2.3.5-2.1 sat4j


نحوه نصب


نصب پکیج rpm sat4j:

    urpmi install sat4j-2.3.5-2.1-omv4000.noarch.rpm