bundleName
org.sat4j.core
2.3.6.v20201214
Built: 2022-12-01 at 05:55
Reported: 2022-12-01 at 06:53
https://download.eclipse.org/releases/2022-12/202212071000
This installable unit index report is produced by https://ci.eclipse.org/simrel/job/simrel.oomph.repository-analyzer.test/.
Provider
providerName
PGP Keys
Artifacts
429.5K plugins/org.sat4j.core_2.3.6.v20201214.jar
Content Metadata
<unit id="org.sat4j.core" version="2.3.6.v20201214" singleton="false" generation="2">
<update id="org.sat4j.core" range="[0.0.0,2.3.6.v20201214)" severity="0"/>
<properties size="8">
<property name="org.eclipse.equinox.p2.name" value="%bundleName"/>
<property name="org.eclipse.equinox.p2.provider" value="%providerName"/>
<property name="org.eclipse.equinox.p2.bundle.localization" value="plugin"/>
<property name="maven-groupId" value="org.ow2.sat4j"/>
<property name="maven-artifactId" value="org.ow2.sat4j.core"/>
<property name="maven-version" value="2.3.6"/>
<property name="maven-repository" value="eclipse.maven.central.mirror"/>
<property name="maven-type" value="jar"/>
</properties>
<provides size="20">
<provided namespace="org.eclipse.equinox.p2.iu" name="org.sat4j.core" version="2.3.6.v20201214 "/>
<provided namespace="osgi.bundle" name="org.sat4j.core" version="2.3.6.v20201214 "/>
<provided namespace="java.package" name="org.sat4j" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.core" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.constraints" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.constraints.card" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.constraints.cnf" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.core" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.learning" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.orders" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.minisat.restarts" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.opt" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.reader" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.specs" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.tools" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.tools.encoding" version="2.3.6.v20201214"/>
<provided namespace="java.package" name="org.sat4j.tools.xplain" version="2.3.6.v20201214"/>
<provided namespace="osgi.identity" name="org.sat4j.core" version="2.3.6.v20201214">
<properties size="1">
<property name="type" value="osgi.bundle"/>
</properties>
</provided>
<provided namespace="org.eclipse.equinox.p2.eclipse.type" name="bundle" version="1.0.0 "/>
</provides>
<requires size="1">
<requiredProperties namespace="osgi.ee" match="(&(osgi.ee=JavaSE)(version=1.5))">
<description>
org.sat4j.core
</description>
</requiredProperties>
</requires>
<artifacts size="1">
<artifact classifier="osgi.bundle" id="org.sat4j.core" version="2.3.6.v20201214"/>
</artifacts>
<touchpoint id="org.eclipse.equinox.p2.osgi" version="1.0.0"/>
<touchpointData size="1">
<instructions size="1">
<instruction key="manifest">
Bundle-SymbolicName: org.sat4j.core
Bundle-Version: 2.3.6.v20201214
</instruction>
</instructions>
</touchpointData>
</unit>