SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : sat4j
Version : 2.3.5 Vendor : Fedora Project
Release : 30.fc40 Date : 2024-03-02 21:46:24
Group : Unspecified Source RPM : sat4j-2.3.5-30.fc40.src.rpm
Size : 0.57 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: /vol/rzm3/linux-fedora-buffet/fedora-secondary/releases/40/Everything/ppc64le/os/Packages/s

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.noarch.rpm
ftp.icm.edu.pl  sat4j-2.3.5-30.fc40.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 or java-21-headless or java-17-headless or java-11-headless or java-1.8.0-headless)
javapackages-filesystem
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(PayloadIsZstd) <= 5.4.18-1
rpmlib(RichDependencies) <= 4.12.0-1


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

 
ICM