SAT4J Pseudo

BundleVersion 2.3.5.v201404071733 by Eclipse Orbit