changed solver to SAT4J
deleted obsolete or redundant examples
deleted obsolete or redundant examples