Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM devtoolset-4-sat4j-2.3.5-6.1.el6.noarch.rpm

ID	36093
Name	devtoolset-4-sat4j
Version	2.3.5
Release	6.1.el6
Epoch
Arch	noarch
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.
Build Time	2015-11-17 22:19:42 GMT
Size	510.28 KB
SIGMD5	cba7d348f41cbb261135bc8c3f204620
License	EPL or LGPLv2
Buildroot	sclo6-devtoolset-4-rh-el6-build-9466-12990
Provides	devtoolset-4-osgi(org.sat4j.core) = 2.3.5 devtoolset-4-osgi(org.sat4j.pb) = 2.3.5 devtoolset-4-sat4j = 2.3.5-6.1.el6
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	rh-java-common-javapackages-tools rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 rpmlib(VersionedDependencies) <= 3.0.3-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 2 of 2 Name Size /opt/rh/devtoolset-4/root/usr/share/java/org.sat4j.core.jar 334.97 KB /opt/rh/devtoolset-4/root/usr/share/java/org.sat4j.pb.jar 220.82 KB
Component of	Page: 1 2 1 through 50 of 98 >>> Buildroot Created State sclo6-devtoolset-4-rh-el6-build-37261-49616 2017-10-31 11:13:00 sclo6-devtoolset-4-rh-el6-build-37260-49616 2017-10-31 11:06:44 sclo6-devtoolset-4-rh-el6-build-37259-49616 2017-10-31 10:59:11 sclo6-devtoolset-4-rh-el6-build-34719-38344 2017-09-14 09:23:30 sclo6-devtoolset-4-rh-el6-build-34717-38344 2017-09-14 09:21:56 sclo6-devtoolset-4-rh-el6-build-34716-38344 2017-09-14 09:21:54 sclo6-devtoolset-4-rh-el6-build-23809-33361 2017-01-03 21:51:52 sclo6-devtoolset-4-rh-el6-build-23807-33361 2017-01-03 21:35:46 sclo6-devtoolset-4-rh-el6-build-23806-33361 2017-01-03 21:18:49 sclo6-devtoolset-4-rh-el6-build-23803-33349 2017-01-03 20:43:45 sclo6-devtoolset-4-rh-el6-build-23801-33341 2017-01-03 20:28:31 sclo6-devtoolset-4-rh-el6-build-23799-33341 2017-01-03 19:58:18 sclo6-devtoolset-4-rh-el6-build-23796-33333 2017-01-03 19:14:56 sclo6-devtoolset-4-rh-el6-build-23769-33040 2017-01-02 14:46:22 sclo6-devtoolset-4-rh-el6-build-23765-33040 2017-01-02 13:27:23 sclo6-devtoolset-4-rh-el6-build-23764-33040 2017-01-02 13:26:37 sclo6-devtoolset-4-rh-el6-build-23763-33040 2017-01-02 13:25:58 sclo6-devtoolset-4-rh-el6-build-23762-33040 2017-01-02 13:03:30 sclo6-devtoolset-4-rh-el6-build-14693-20505 2016-06-06 16:38:23 sclo6-devtoolset-4-rh-el6-build-14691-20505 2016-06-06 16:37:45 sclo6-devtoolset-4-rh-el6-build-14689-20505 2016-06-06 16:31:18 sclo6-devtoolset-4-rh-el6-build-14688-20505 2016-06-06 16:30:39 sclo6-devtoolset-4-rh-el6-build-14687-20505 2016-06-06 14:20:22 sclo6-devtoolset-4-rh-el6-build-14685-20505 2016-06-06 14:19:44 sclo6-devtoolset-4-rh-el6-build-14682-20505 2016-06-06 13:53:26 sclo6-devtoolset-4-rh-el6-build-14680-20505 2016-06-06 13:52:45 sclo6-devtoolset-4-rh-el6-build-14676-20279 2016-06-06 12:53:18 sclo6-devtoolset-4-rh-el6-build-14674-20279 2016-06-06 12:51:18 sclo6-devtoolset-4-rh-el6-build-14672-20279 2016-06-06 12:50:26 sclo6-devtoolset-4-rh-el6-build-14660-20279 2016-06-03 12:13:18 sclo6-devtoolset-4-rh-el6-build-14658-20279 2016-06-03 12:12:19 sclo6-devtoolset-4-rh-el6-build-14384-20020 2016-05-16 05:01:25 sclo6-devtoolset-4-rh-el6-build-14380-20017 2016-05-15 20:21:51 sclo6-devtoolset-4-rh-el6-build-14379-20016 2016-05-15 20:07:12 sclo6-devtoolset-4-rh-el6-build-14375-19998 2016-05-15 18:32:34 sclo6-devtoolset-4-rh-el6-build-14372-19998 2016-05-15 13:52:56 sclo6-devtoolset-4-rh-el6-build-14364-19998 2016-05-15 13:00:44 sclo6-devtoolset-4-rh-el6-build-14353-19987 2016-05-15 11:16:09 sclo6-devtoolset-4-rh-el6-build-14343-19968 2016-05-15 10:14:52 sclo6-devtoolset-4-rh-el6-build-14340-19960 2016-05-15 10:03:08 sclo6-devtoolset-4-rh-el6-build-14329-19954 2016-05-15 09:16:02 sclo6-devtoolset-4-rh-el6-build-14310-19934 2016-05-14 20:38:13 sclo6-devtoolset-4-rh-el6-build-14308-19927 2016-05-14 20:24:54 sclo6-devtoolset-4-rh-el6-build-14306-19927 2016-05-14 19:00:30 sclo6-devtoolset-4-rh-el6-build-14301-19924 2016-05-14 18:15:58 sclo6-devtoolset-4-rh-el6-build-14296-19467 2016-05-14 17:54:31 sclo6-devtoolset-4-rh-el6-build-10362-14184 2016-01-16 09:44:05 sclo6-devtoolset-4-rh-el6-build-10361-14183 2016-01-16 08:37:50 sclo6-devtoolset-4-rh-el6-build-10360-14178 2016-01-16 07:32:29 sclo6-devtoolset-4-rh-el6-build-10358-14178 2016-01-16 07:09:07