SAT4J Core

BundleVersion 2.3.5.v201308161310 by Eclipse Orbit