Osgi(org.sat4j.core) Download for Linux (rpm, noarch)