IVecInt backbone = RemiUtils.backbone(solver);
System.out
.println(Messages.getString("MoreThanSAT.1") + backbone); //$NON-NLS-1$
System.out.println(Messages.getString("MoreThanSAT.2")); //$NON-NLS-1$
System.out.println(Messages.getString("MoreThanSAT.3") //$NON-NLS-1$
+ sc.countSolutions());
} else {
System.out.println(Messages.getString("MoreThanSAT.4")); //$NON-NLS-1$
}
} catch (FileNotFoundException e) {
e.printStackTrace();