bundleName
org.sat4j.core
2.3.6.v20201214
Built: 2025-01-05 at 01:01
Reported: 2025-01-05 at 01:02
This installable unit index report is produced by https://ci.eclipse.org/oomph/job/simrel-analyzer/.
Provider
providerName
PGP Keys
0x9e3044071b758ebcb7e45673700e4f39bc05364b platform-releng-dev@eclipse.org
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="2">
<requiredProperties namespace="osgi.ee" match="(&(osgi.ee=JavaSE)(version=1.5))">
<description>
org.sat4j.core
</description>
</requiredProperties>
<required namespace="org.eclipse.equinox.p2.iu" name="org.sat4j.core.source" range="[2.3.6.v20201214,2.3.6.v20201214] " optional="true">
<filter>
(org.eclipse.update.install.sources=true)
</filter>
</required>
</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>