SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

sat4j rpm build for : Fedora 29. For other distributions click sat4j.

Name : sat4j
Version : 2.3.5 Vendor : Fedora Project
Release : 13.fc29 Date : 2018-07-15 11:58:24
Group : Unspecified Source RPM : sat4j-2.3.5-13.fc29.src.rpm
Size : 0.54 MB
Packager : Fedora Project
Summary : A library of SAT solvers written in Java
Description :
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.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/releases/29/Everything/aarch64/os/Packages/s

Content of RPM  Changelog  Provides Requires

Download
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
ftp.pbone.net  sat4j-2.3.5-13.fc29.noarch.rpm
     

Provides :
mvn(org.ow2.sat4j:org.ow2.sat4j.core)
mvn(org.ow2.sat4j:org.ow2.sat4j.pb)
osgi(org.sat4j.core)
osgi(org.sat4j.pb)
sat4j

Requires :
java-headless
javapackages-tools
osgi(org.sat4j.core) = 2.3.5
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/share/java/org.sat4j.core.jar
/usr/share/java/org.sat4j.pb.jar
/usr/share/maven-metadata/sat4j.xml