summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPascal Rapicault2013-09-11 10:56:57 (EDT)
committerPascal Rapicault2013-09-11 10:57:04 (EDT)
commit669773974e9334b6e0aaf98c33f1b853f21b6937 (patch)
treec596ac00100f2bd5985017a987d30d7092c3054e
parent9c1a0f300d694ba8aaba1a0499cb999630d49297 (diff)
downloadrt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.zip
rt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.tar.gz
rt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.tar.bz2
Bug 416195 - remove or null out sat4j projects in p2 repository
-rw-r--r--bundles/org.sat4j.core/.project22
-rw-r--r--bundles/org.sat4j.core/META-INF/MANIFEST.MF31
-rw-r--r--bundles/org.sat4j.core/about.html56
-rw-r--r--bundles/org.sat4j.core/build.properties7
-rw-r--r--bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.classbin589 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.classbin640 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/AbstractLauncher.classbin10682 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.classbin3784 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/BasicLauncher.classbin2695 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/ExitCode.classbin955 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.classbin4748 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.classbin5011 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/ILauncherMode.classbin1098 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/LightFactory.classbin2734 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.classbin1520 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.classbin1935 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/MUSLauncher.classbin6768 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/Messages.classbin1100 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/MoreThanSAT.classbin2702 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.classbin3123 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.classbin2484 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.classbin1057 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.classbin996 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.classbin4986 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.classbin4138 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/Vec$1.classbin1124 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/Vec.classbin8350 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.classbin758 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/VecInt$1.classbin3873 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/VecInt$2.classbin927 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/VecInt.classbin8330 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/core/package-info.classbin120 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/messages.properties8
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.classbin10262 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.classbin648 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.classbin2825 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.classbin1705 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.classbin1754 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.classbin1754 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.classbin2111 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.classbin2870 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.classbin2870 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.classbin2744 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.classbin6464 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.classbin6988 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.classbin9666 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.classbin140 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.classbin4805 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.classbin1544 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.classbin6036 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.classbin1057 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.classbin1647 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.classbin1677 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.classbin5978 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.classbin1423 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.classbin1703 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.classbin1792 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.classbin2995 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.classbin2797 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.classbin5245 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.classbin139 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.classbin135 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.classbin1075 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.classbin239 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.classbin1144 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.classbin174 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.classbin846 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.classbin1667 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.classbin680 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.classbin211 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.classbin839 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.classbin963 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.classbin3364 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.classbin1935 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.classbin1018 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.classbin683 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.classbin319 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.classbin204 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.classbin1914 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.classbin526 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.classbin1250 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.classbin171 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.classbin542 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.classbin455 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.classbin255 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.classbin581 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.classbin2751 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.classbin1191 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.classbin769 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.classbin656 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.classbin781 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.classbin978 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.classbin981 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.classbin1012 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.classbin958 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.classbin1116 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.classbin1116 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.classbin902 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.classbin3323 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.classbin3139 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.classbin1504 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.classbin3890 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.classbin51611 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.classbin3770 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.classbin142 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.classbin203 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.classbin2300 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.classbin128 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.classbin1942 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.classbin2703 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.classbin1050 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.classbin1836 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.classbin2621 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.classbin1746 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.classbin876 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.classbin835 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.classbin2078 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.classbin132 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.classbin964 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.classbin1202 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.classbin994 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.classbin1018 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.classbin1202 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.classbin1461 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.classbin1093 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.classbin968 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.classbin1434 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.classbin4137 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.classbin1852 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.classbin3911 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.classbin879 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.classbin1339 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.classbin5023 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.classbin130 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/package-info.classbin123 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.classbin2010 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.classbin2082 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.classbin2239 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.classbin2457 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.classbin1846 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.classbin1453 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.classbin132 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.classbin3063 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.classbin3844 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.classbin3551 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/opt/package-info.classbin119 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/package-info.classbin115 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/AAGReader.classbin3837 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/AIGReader.classbin4020 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.classbin5560 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.classbin3070 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.classbin3833 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.classbin3430 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/JSONReader.classbin5745 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.classbin4060 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.classbin1036 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/Reader.classbin2815 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/reader/package-info.classbin122 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.classbin822 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IConstr.classbin243 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.classbin295 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.classbin626 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/ILogAble.classbin414 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.classbin827 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IProblem.classbin766 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/ISolver.classbin2333 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/ISolverService.classbin767 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IVec.classbin1410 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IVecInt.classbin904 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.classbin164 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/Lbool.classbin843 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.classbin154 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/SearchListener.classbin811 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.classbin804 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.classbin605 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.classbin489 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.classbin237 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/specs/package-info.classbin121 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.classbin2149 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.classbin1457 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.classbin479 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.classbin3041 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.classbin2344 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.classbin5479 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.classbin7047 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/Backbone.classbin2343 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.classbin3444 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.classbin2856 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.classbin2093 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.classbin2129 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.classbin1335 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.classbin2147 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.classbin1916 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.classbin4493 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.classbin4879 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.classbin6080 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.classbin2641 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.classbin1817 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.classbin3822 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.classbin9468 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.classbin2972 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.classbin1521 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.classbin490 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.classbin1261 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.classbin1198 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.classbin1888 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.classbin1862 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.classbin6454 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ManyCore.classbin16893 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.classbin2584 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.classbin2480 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.classbin2276 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.classbin1510 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.classbin5127 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.classbin3441 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.classbin4198 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.classbin165 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.classbin998 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.classbin1108 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.classbin2123 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.classbin1892 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.classbin2757 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.classbin2283 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.classbin1752 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.classbin1362 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.classbin753 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.classbin527 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.classbin9355 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.classbin2352 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.classbin11111 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.classbin4286 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.classbin3770 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.classbin2188 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.classbin2873 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.classbin1682 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.classbin2103 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.classbin3033 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.classbin6390 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.classbin5083 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.classbin2673 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.classbin130 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/package-info.classbin121 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.classbin4950 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.classbin304 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.classbin5492 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.classbin4495 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.classbin528 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.classbin4178 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.classbin4679 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.classbin6554 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.classbin128 -> 0 bytes
-rw-r--r--bundles/org.sat4j.core/overview.html33
-rw-r--r--bundles/org.sat4j.core/plugin.properties30
-rw-r--r--bundles/org.sat4j.core/pom.xml17
-rw-r--r--bundles/org.sat4j.core/sat4j.version1
-rw-r--r--bundles/org.sat4j.pb/.project22
-rw-r--r--bundles/org.sat4j.pb/META-INF/MANIFEST.MF26
-rw-r--r--bundles/org.sat4j.pb/about.html58
-rw-r--r--bundles/org.sat4j.pb/build.properties6
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.classbin4783 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.classbin1091 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.classbin591 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.classbin961 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.classbin10164 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.classbin4837 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.classbin1541 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.classbin2900 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.classbin965 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.classbin8374 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.classbin4245 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.classbin4325 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.classbin2841 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.classbin7167 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.classbin1022 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.classbin7206 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.classbin16116 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.classbin1009 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.classbin9269 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.classbin7557 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.classbin2646 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.classbin2165 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.classbin696 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.classbin6708 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.classbin1593 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.classbin1959 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.classbin888 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.classbin919 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.classbin910 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.classbin910 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.classbin894 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.classbin894 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.classbin504 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.classbin423 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.classbin539 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.classbin2255 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.classbin2243 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.classbin1651 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.classbin1927 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.classbin1945 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.classbin2255 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.classbin2243 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.classbin1651 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.classbin556 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.classbin856 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.classbin856 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.classbin851 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.classbin838 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.classbin3538 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.classbin838 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.classbin3552 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.classbin1657 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.classbin879 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.classbin1496 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.classbin3553 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.classbin1910 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.classbin1920 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.classbin1910 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.classbin130 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.classbin3603 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.classbin14412 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.classbin494 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.classbin1600 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.classbin2457 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.classbin616 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.classbin1118 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.classbin267 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.classbin4130 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.classbin1259 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.classbin1922 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.classbin7724 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.classbin5787 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.classbin5585 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.classbin5613 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.classbin4243 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.classbin6920 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.classbin6614 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.classbin6626 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.classbin1862 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.classbin1838 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.classbin449 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.classbin6058 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.classbin3193 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.classbin1307 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.classbin1237 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.classbin10651 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.classbin1129 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.classbin11318 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.classbin11219 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.classbin133 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.classbin338 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.classbin13247 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.classbin1139 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.classbin1221 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.classbin4309 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.classbin8896 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.classbin6974 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.classbin2979 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.classbin1816 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.classbin3232 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.classbin1794 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.classbin1613 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.classbin3320 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.classbin123 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.classbin237 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.classbin933 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.classbin2896 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.classbin125 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/package-info.classbin118 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.classbin4942 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.classbin1976 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.classbin11947 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.classbin978 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.classbin8130 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.classbin5047 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.classbin2252 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.classbin1218 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.classbin125 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.classbin4541 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.classbin4164 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.classbin1871 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.classbin707 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.classbin829 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.classbin858 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.classbin19725 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.classbin2578 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.classbin220 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.classbin2808 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.classbin1694 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.classbin2639 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.classbin5101 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.classbin1169 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.classbin4037 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.classbin2647 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.classbin3095 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.classbin4438 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.classbin1239 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.classbin914 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.classbin2969 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.classbin5112 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.classbin124 -> 0 bytes
-rw-r--r--bundles/org.sat4j.pb/overview.html33
-rw-r--r--bundles/org.sat4j.pb/plugin.properties30
-rw-r--r--bundles/org.sat4j.pb/pom.xml17
403 files changed, 0 insertions, 397 deletions
diff --git a/bundles/org.sat4j.core/.project b/bundles/org.sat4j.core/.project
deleted file mode 100644
index 9ba042e..0000000
--- a/bundles/org.sat4j.core/.project
+++ /dev/null
@@ -1,22 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
- <name>org.sat4j.core</name>
- <comment></comment>
- <projects>
- </projects>
- <buildSpec>
- <buildCommand>
- <name>org.eclipse.pde.ManifestBuilder</name>
- <arguments>
- </arguments>
- </buildCommand>
- <buildCommand>
- <name>org.eclipse.pde.SchemaBuilder</name>
- <arguments>
- </arguments>
- </buildCommand>
- </buildSpec>
- <natures>
- <nature>org.eclipse.pde.PluginNature</nature>
- </natures>
-</projectDescription>
diff --git a/bundles/org.sat4j.core/META-INF/MANIFEST.MF b/bundles/org.sat4j.core/META-INF/MANIFEST.MF
deleted file mode 100644
index fe8e47c..0000000
--- a/bundles/org.sat4j.core/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,31 +0,0 @@
-Manifest-Version: 1.0
-Ant-Version: Apache Ant 1.7.1
-Created-By: 23.7-b01 (Oracle Corporation)
-Bundle-ManifestVersion: 2
-Bundle-Name: %bundleName
-Bundle-SymbolicName: org.sat4j.core
-Bundle-Version: 2.3.5.v20130525
-Export-Package: org.sat4j;version="2.3.5.v20130525",org.sat4j.core;ver
- sion="2.3.5.v20130525",org.sat4j.minisat;version="2.3.5.v20130525",or
- g.sat4j.minisat.constraints;version="2.3.5.v20130525",org.sat4j.minis
- at.constraints.card;version="2.3.5.v20130525",org.sat4j.minisat.const
- raints.cnf;version="2.3.5.v20130525",org.sat4j.minisat.core;version="
- 2.3.5.v20130525",org.sat4j.minisat.learning;version="2.3.5.v20130525"
- ,org.sat4j.minisat.orders;version="2.3.5.v20130525",org.sat4j.minisat
- .restarts;version="2.3.5.v20130525",org.sat4j.opt;version="2.3.5.v201
- 30525",org.sat4j.reader;version="2.3.5.v20130525",org.sat4j.specs;ver
- sion="2.3.5.v20130525",org.sat4j.tools;version="2.3.5.v20130525",org.
- sat4j.tools.encoding;version="2.3.5.v20130525",org.sat4j.tools.xplain
- ;version="2.3.5.v20130525"
-Bundle-Vendor: %providerName
-Bundle-Localization: plugin
-Built-By: Daniel Le Berre
-Main-Class: org.sat4j.BasicLauncher
-Specification-Title: SAT4J
-Specification-Version: NA
-Specification-Vendor: Daniel Le Berre
-Implementation-Title: SAT4J
-Implementation-Version: 2.3.5.v20130525
-Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
-
diff --git a/bundles/org.sat4j.core/about.html b/bundles/org.sat4j.core/about.html
deleted file mode 100644
index d6bb197..0000000
--- a/bundles/org.sat4j.core/about.html
+++ /dev/null
@@ -1,56 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
-<title>About</title>
-</head>
-<body lang="EN-US">
-<h2>About This Content</h2>
-
-<p>June, 2010</p>
-<h3>License</h3>
-
-<p>The Eclipse Foundation makes available all content in this plug-in (&quot;Content&quot;). Unless otherwise indicated below, the Content is provided to you under the terms and conditions of the Eclipse Public License Version 1.0 (&quot;EPL&quot;). A copy of the EPL is available at <a href="http://www.eclipse.org/org/documents/epl-v10.php">http://www.eclipse.org/legal/epl-v10.html</a>. For purposes of the EPL, &quot;Program&quot; will mean the Content.</p>
-
-<p>If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party (&quot;Redistributor&quot;) and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor&rsquo;s license that was provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise indicated below, the terms and conditions of the EPL still apply to any source code in the Content and such source code may be obtained at <a href="http://www.eclipse.org/">http://www.eclipse.org</a>.</p>
-
-<h3>Third Party Content</h3>
-<p>The Content includes items that have been sourced from third parties as set out below. If you did not receive this Content directly from the Eclipse Foundation, the following is provided for informational purposes only, and you should look to the Redistributor&rsquo;s license for terms and conditions of use.</p>
-<h4>SAT4J 2.3.5 SUBSET (Core) </h4>
-<p>The SAT4J project makes available all content in this plug-in ("Content"). Your use of the Content is governed by the terms and conditions of the Eclipse Public License Version 1.0 ("EPL"). A copy of the EPL is available at http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL, "Program" will mean the Content. </p>
-<p>Alternatively, the Content may be obtained from the SAT4J project website at <a href="http://www.sat4j.org/">http://www.sat4j.org/</a> for use under the terms of either the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), in which case the provisions of the LGPL are applicable instead of those above. If you wish to allow use of your version of the Content only under the terms of the LGPL, and not to allow others to use your version of this Content under the terms of the EPL, indicate your decision by deleting the provisions above and replace them with the notice and other provisions required by the LGPL. If you do not delete the provisions above, a recipient may use your version of this file under the terms of the EPL or the LGPL.</p>
-<p>The Eclipse Foundation elects to include this software in this distribution under the EPL license. The source code for this plug-in can be obtained from the SAT4J project website at <a href="http://www.sat4j.org/">http://www.sat4j.org/</a></p>
-
-<p>SAT4J includes content that was obtained under licenses that differ from the SAT4J licenses. <br />
- The content in the following classes</br>
-
-<ul>
- <li>org/sat4j/core/Vec.java</li>
- <li>org/sat4j/core/VecInt.java</li>
- <li>org/sat4j/minisat/core/Solver.java</li>
-</ul>
-<p>is based on code obtained from the Minisat 1.1.4 implementation, the source code for which can be found at <a href="www.minisat.se ">www.minisat.se</a>, under the following permissive license:<br />
-<br />
- MiniSat -- Copyright (c) 2003-2005, Niklas Een, Niklas Sorensson<br />
-<br />
- Permission is hereby granted, free of charge, to any person obtaining a<br />
- copy of this software and associated documentation files (the<br />
-&quot;Software&quot;), to deal in the Software without restriction, including<br />
- without limitation the rights to use, copy, modify, merge, publish,<br />
-distribute, sublicense, and/or sell copies of the Software, and to<br />
- permit persons to whom the Software is furnished to do so, subject to<br />
- the following conditions:<br />
-<br />
- The above copyright notice and this permission notice shall be included<br />
- in all copies or substantial portions of the Software.<br />
-<br />
- THE SOFTWARE IS PROVIDED &quot;AS IS&quot;, WITHOUT WARRANTY OF ANY KIND, EXPRESS<br />
- OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF<br />
- MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND<br />
- NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE<br />
- LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION<br />
- OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION<br />
-WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. </p>
-</body>
-</html>
diff --git a/bundles/org.sat4j.core/build.properties b/bundles/org.sat4j.core/build.properties
deleted file mode 100644
index 5e82779..0000000
--- a/bundles/org.sat4j.core/build.properties
+++ /dev/null
@@ -1,7 +0,0 @@
-bin.includes = META-INF/,\
- org/,\
- overview.html,\
- plugin.properties,\
- sat4j.version,\
- about.html
-
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.class b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.class
deleted file mode 100644
index 5551c4e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class
deleted file mode 100644
index 81c789f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class
deleted file mode 100644
index a6f552c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class b/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class
deleted file mode 100644
index 5f708f3..0000000
--- a/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class b/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class
deleted file mode 100644
index 2cd563f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ExitCode.class b/bundles/org.sat4j.core/org/sat4j/ExitCode.class
deleted file mode 100644
index 40cba6e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/ExitCode.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class
deleted file mode 100644
index ce2b95f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class
deleted file mode 100644
index f06f2c5..0000000
--- a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class
deleted file mode 100644
index c65f688..0000000
--- a/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/LightFactory.class b/bundles/org.sat4j.core/org/sat4j/LightFactory.class
deleted file mode 100644
index 7c3700d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/LightFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class
deleted file mode 100644
index 9ec4231..0000000
--- a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class
deleted file mode 100644
index a80850c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class
deleted file mode 100644
index de9dd86..0000000
--- a/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/Messages.class b/bundles/org.sat4j.core/org/sat4j/Messages.class
deleted file mode 100644
index ea3cee4..0000000
--- a/bundles/org.sat4j.core/org/sat4j/Messages.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class b/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class
deleted file mode 100644
index 09c5715..0000000
--- a/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class b/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class
deleted file mode 100644
index 9579320..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class b/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class
deleted file mode 100644
index 10984cb..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class b/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class
deleted file mode 100644
index 3a9755b..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class b/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class
deleted file mode 100644
index 649978f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class
deleted file mode 100644
index 5a6050a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class
deleted file mode 100644
index b51dc72..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/Vec$1.class b/bundles/org.sat4j.core/org/sat4j/core/Vec$1.class
deleted file mode 100644
index 2bc2ed2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/Vec$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/Vec.class b/bundles/org.sat4j.core/org/sat4j/core/Vec.class
deleted file mode 100644
index 9864d57..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/Vec.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.class b/bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.class
deleted file mode 100644
index 94aab16..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/VecInt$1.class b/bundles/org.sat4j.core/org/sat4j/core/VecInt$1.class
deleted file mode 100644
index 9250026..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/VecInt$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/VecInt$2.class b/bundles/org.sat4j.core/org/sat4j/core/VecInt$2.class
deleted file mode 100644
index 71f4d30..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/VecInt$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/VecInt.class b/bundles/org.sat4j.core/org/sat4j/core/VecInt.class
deleted file mode 100644
index d655295..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/VecInt.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/package-info.class b/bundles/org.sat4j.core/org/sat4j/core/package-info.class
deleted file mode 100644
index 674546e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/core/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/messages.properties b/bundles/org.sat4j.core/org/sat4j/messages.properties
deleted file mode 100644
index 2b3f0f0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/messages.properties
+++ /dev/null
@@ -1,8 +0,0 @@
-Lanceur.wrong.framework=Wrong framework: try minisat or ubcsat
-MoreThanSAT.0=Satisfiable \!
-MoreThanSAT.1=BackBone:
-MoreThanSAT.2=Counting solutions...
-MoreThanSAT.3=Number of solutions:
-MoreThanSAT.4=Unsatisfiable\!
-MoreThanSAT.5=Unsatisfiable (trivial)\!
-MoreThanSAT.6=Timeout, sorry\!
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.class b/bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.class
deleted file mode 100644
index 45dc491..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class
deleted file mode 100644
index afde6e4..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.class
deleted file mode 100644
index fde1f0f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.class
deleted file mode 100644
index 9087704..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class
deleted file mode 100644
index e0afa39..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class
deleted file mode 100644
index 9947198..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.class
deleted file mode 100644
index 43ca6a8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class
deleted file mode 100644
index e4e4109..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class
deleted file mode 100644
index 2b0f49d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class
deleted file mode 100644
index aa73043..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.class
deleted file mode 100644
index dd44ae4..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.class
deleted file mode 100644
index 326f0c0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.class
deleted file mode 100644
index 61b89c5..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.class
deleted file mode 100644
index 8279b4c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.class
deleted file mode 100644
index 6d1a38e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.class
deleted file mode 100644
index 7929bec..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.class
deleted file mode 100644
index 3f67cc1..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class
deleted file mode 100644
index ae70867..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.class
deleted file mode 100644
index 588c831..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.class
deleted file mode 100644
index 74a17bd..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.class
deleted file mode 100644
index 811716d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class
deleted file mode 100644
index dc12991..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.class
deleted file mode 100644
index e17d4dd..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.class
deleted file mode 100644
index 46c6e08..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.class
deleted file mode 100644
index 2cef0bc..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.class
deleted file mode 100644
index bf74bc8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.class
deleted file mode 100644
index 91dfb3d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.class
deleted file mode 100644
index b0c7461..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.class
deleted file mode 100644
index 7e1532d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.class
deleted file mode 100644
index 4252b26..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.class
deleted file mode 100644
index 706c35e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.class
deleted file mode 100644
index 194b53a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.class
deleted file mode 100644
index 3563a5c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.class
deleted file mode 100644
index f54155d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.class
deleted file mode 100644
index f91db67..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.class
deleted file mode 100644
index 0019a54..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.class
deleted file mode 100644
index cbd46ea..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.class
deleted file mode 100644
index b48ccc1..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.class
deleted file mode 100644
index e1e4d63..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.class
deleted file mode 100644
index ef7aa61..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.class
deleted file mode 100644
index 2fc3803..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.class
deleted file mode 100644
index b486c53..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.class
deleted file mode 100644
index 495e128..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.class
deleted file mode 100644
index 59ece91..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.class
deleted file mode 100644
index 2f28446..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.class
deleted file mode 100644
index 84c1543..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class
deleted file mode 100644
index 70fead3..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class
deleted file mode 100644
index 0bcbd86..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.class
deleted file mode 100644
index 5d2b622..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.class
deleted file mode 100644
index 24273f2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.class
deleted file mode 100644
index 9f31295..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.class
deleted file mode 100644
index ad2ed63..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.class
deleted file mode 100644
index a489613..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.class
deleted file mode 100644
index 91ad128..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.class
deleted file mode 100644
index 65a96d2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.class
deleted file mode 100644
index 9a4c84a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.class
deleted file mode 100644
index a964baa..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.class
deleted file mode 100644
index 2ab3e6d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.class
deleted file mode 100644
index cd8dd62..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.class
deleted file mode 100644
index e71440c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.class
deleted file mode 100644
index c4846ba..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.class
deleted file mode 100644
index 83ad2ed..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.class
deleted file mode 100644
index a128779..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.class
deleted file mode 100644
index 2b1b242..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.class
deleted file mode 100644
index 038824a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.class
deleted file mode 100644
index 6fe0cc5..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.class
deleted file mode 100644
index 66287e1..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.class
deleted file mode 100644
index 78c1e62..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.class
deleted file mode 100644
index 400ff41..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.class
deleted file mode 100644
index 4026af5..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.class
deleted file mode 100644
index 5bcce02..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.class
deleted file mode 100644
index 5deb28f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.class
deleted file mode 100644
index a3e2707..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.class
deleted file mode 100644
index 6b6b02d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.class
deleted file mode 100644
index ba3e480..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.class
deleted file mode 100644
index 6709fdc..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.class
deleted file mode 100644
index 98e9fad..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.class
deleted file mode 100644
index 0a632ad..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.class
deleted file mode 100644
index 380cc30..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.class
deleted file mode 100644
index 1dbafb6..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.class
deleted file mode 100644
index a0d0b2e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.class
deleted file mode 100644
index 6019830..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.class
deleted file mode 100644
index 461667f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.class
deleted file mode 100644
index 48b7239..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.class
deleted file mode 100644
index 1c7a10f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class
deleted file mode 100644
index dd21a3b..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class
deleted file mode 100644
index 23310f1..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class
deleted file mode 100644
index 88f83b8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class
deleted file mode 100644
index cdcdada..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class
deleted file mode 100644
index 55f6622..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.class
deleted file mode 100644
index bee2808..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class
deleted file mode 100644
index fa84a67..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class
deleted file mode 100644
index dcffe28..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class
deleted file mode 100644
index d751fb2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.class
deleted file mode 100644
index 062e5fb..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.class
deleted file mode 100644
index 81f8197..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.class
deleted file mode 100644
index 3253a33..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class
deleted file mode 100644
index b44f011..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.class
deleted file mode 100644
index 294f75c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.class
deleted file mode 100644
index eeab986..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.class
deleted file mode 100644
index 249a826..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/package-info.class
deleted file mode 100644
index 6ee15c4..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.class
deleted file mode 100644
index ae30562..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.class
deleted file mode 100644
index 5e6f4e8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.class
deleted file mode 100644
index 1972a2f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.class
deleted file mode 100644
index 9e080d3..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.class
deleted file mode 100644
index abe4f03..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.class
deleted file mode 100644
index f3db93c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.class b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.class
deleted file mode 100644
index e5d9e32..0000000
--- a/bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class
deleted file mode 100644
index eb671de..0000000
--- a/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class
deleted file mode 100644
index 91da1ed..0000000
--- a/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class
deleted file mode 100644
index 7d9cb33..0000000
--- a/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/package-info.class b/bundles/org.sat4j.core/org/sat4j/opt/package-info.class
deleted file mode 100644
index 7606811..0000000
--- a/bundles/org.sat4j.core/org/sat4j/opt/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/package-info.class b/bundles/org.sat4j.core/org/sat4j/package-info.class
deleted file mode 100644
index 53e3d76..0000000
--- a/bundles/org.sat4j.core/org/sat4j/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class b/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class
deleted file mode 100644
index 5db9e21..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class b/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class
deleted file mode 100644
index 3b63004..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class b/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class
deleted file mode 100644
index f87c6d9..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class b/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class
deleted file mode 100644
index f74ac57..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class b/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class
deleted file mode 100644
index edaecb1..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class b/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class
deleted file mode 100644
index d8d90c0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class b/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class
deleted file mode 100644
index bf01eae..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class b/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class
deleted file mode 100644
index cfe7771..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class b/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class
deleted file mode 100644
index 82df9c6..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/Reader.class b/bundles/org.sat4j.core/org/sat4j/reader/Reader.class
deleted file mode 100644
index a11b8cc..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/Reader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/package-info.class b/bundles/org.sat4j.core/org/sat4j/reader/package-info.class
deleted file mode 100644
index 7b9a7b8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/reader/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class b/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class
deleted file mode 100644
index 9301a2e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class b/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class
deleted file mode 100644
index 35a6088..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class b/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class
deleted file mode 100644
index 34b6553..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.class b/bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.class
deleted file mode 100644
index d869e29..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class b/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class
deleted file mode 100644
index e31aa33..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class b/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class
deleted file mode 100644
index 8afa3fc..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class b/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class
deleted file mode 100644
index 890fd4b..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class b/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class
deleted file mode 100644
index cc36fc3..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class b/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class
deleted file mode 100644
index a1a5563..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IVec.class b/bundles/org.sat4j.core/org/sat4j/specs/IVec.class
deleted file mode 100644
index 2dd5eeb..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IVec.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class b/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class
deleted file mode 100644
index d792dc7..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class b/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class
deleted file mode 100644
index 2d5bfb0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class b/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class
deleted file mode 100644
index 663f30f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class b/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class
deleted file mode 100644
index 0e2bdf0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class b/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class
deleted file mode 100644
index 4d798c8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class b/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class
deleted file mode 100644
index ad3d62e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.class b/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.class
deleted file mode 100644
index dacfef2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class b/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class
deleted file mode 100644
index 59b278d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class b/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class
deleted file mode 100644
index 8f90147..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/package-info.class b/bundles/org.sat4j.core/org/sat4j/specs/package-info.class
deleted file mode 100644
index 7e94cac..0000000
--- a/bundles/org.sat4j.core/org/sat4j/specs/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.class
deleted file mode 100644
index ea5d235..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.class
deleted file mode 100644
index 61c2626..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class
deleted file mode 100644
index d326c10..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class
deleted file mode 100644
index 11a5440..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class
deleted file mode 100644
index 22e491c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class
deleted file mode 100644
index 21eb46a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class b/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class
deleted file mode 100644
index 3f28301..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class b/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class
deleted file mode 100644
index 00d8e9d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class b/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class
deleted file mode 100644
index af30685..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class
deleted file mode 100644
index 3c782af..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class
deleted file mode 100644
index fafd644..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class
deleted file mode 100644
index 1a960d0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class
deleted file mode 100644
index 823b0bd..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class
deleted file mode 100644
index 9d711a0..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class
deleted file mode 100644
index 31a9778..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class
deleted file mode 100644
index f056b9f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class
deleted file mode 100644
index 239b5f2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class
deleted file mode 100644
index 24d0bad..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class b/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class
deleted file mode 100644
index a12432c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class b/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class
deleted file mode 100644
index db66956..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class
deleted file mode 100644
index 69e4f59..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class b/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class
deleted file mode 100644
index c023446..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class
deleted file mode 100644
index 079dda7..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class
deleted file mode 100644
index bcf139f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class b/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class
deleted file mode 100644
index 98a3d7d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class
deleted file mode 100644
index 7f0a40f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class
deleted file mode 100644
index cdab616..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class
deleted file mode 100644
index 2dab368..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class
deleted file mode 100644
index e7f664d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class
deleted file mode 100644
index a82eb7f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class b/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class
deleted file mode 100644
index 0a015ad..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class
deleted file mode 100644
index e1ad175..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class
deleted file mode 100644
index 1a6c929..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class b/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class
deleted file mode 100644
index 5ad0392..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class
deleted file mode 100644
index a0f926d..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class
deleted file mode 100644
index a879f77..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class
deleted file mode 100644
index 444a6ed..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class
deleted file mode 100644
index 660d769..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class b/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class
deleted file mode 100644
index ac99f41..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class b/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class
deleted file mode 100644
index c1f5f42..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class
deleted file mode 100644
index 02bd05a..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class b/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class
deleted file mode 100644
index 7e43402..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class
deleted file mode 100644
index 32abe9f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class
deleted file mode 100644
index b5b15da..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class
deleted file mode 100644
index 8afccfa..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class b/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class
deleted file mode 100644
index d40c482..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class b/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class
deleted file mode 100644
index 08ce097..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.class b/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.class
deleted file mode 100644
index c2be289..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class
deleted file mode 100644
index 3d5e060..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class
deleted file mode 100644
index 3a5b667..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class
deleted file mode 100644
index de4e7a2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class
deleted file mode 100644
index bba9a05..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class
deleted file mode 100644
index e9097b8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.class
deleted file mode 100644
index 261a115..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.class
deleted file mode 100644
index fbf8947..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.class
deleted file mode 100644
index 0414fb8..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.class
deleted file mode 100644
index 94d5fcd..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.class
deleted file mode 100644
index d4ccb04..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.class
deleted file mode 100644
index ea5651c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.class
deleted file mode 100644
index a568e3e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.class
deleted file mode 100644
index 749938c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.class
deleted file mode 100644
index 0639aa7..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.class b/bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.class
deleted file mode 100644
index 0601a87..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/package-info.class b/bundles/org.sat4j.core/org/sat4j/tools/package-info.class
deleted file mode 100644
index 5ba7b52..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.class
deleted file mode 100644
index 597639f..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.class
deleted file mode 100644
index 803c51b..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.class
deleted file mode 100644
index 20180d2..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.class
deleted file mode 100644
index 5a1f17c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.class
deleted file mode 100644
index 7d7c27e..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.class
deleted file mode 100644
index 9654c85..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.class
deleted file mode 100644
index dd055e7..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.class
deleted file mode 100644
index 976ed69..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.class b/bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.class
deleted file mode 100644
index 871f53c..0000000
--- a/bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.core/overview.html b/bundles/org.sat4j.core/overview.html
deleted file mode 100644
index 0fd2958..0000000
--- a/bundles/org.sat4j.core/overview.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<body>
-SAT4J: a SATisfiability library for Java.
-
-<pre>
-/*******************************************************************************
-* SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre
-*
-* All rights reserved. This program and the accompanying materials
-* are made available under the terms of the Eclipse Public License v1.0
-* which accompanies this distribution, and is available at
-* http://www.eclipse.org/legal/epl-v10.html
-*
-* Alternatively, the contents of this file may be used under the terms of
-* either the GNU Lesser General Public License Version 2.1 or later (the
-* "LGPL"), in which case the provisions of the LGPL are applicable instead
-* of those above. If you wish to allow use of your version of this file only
-* under the terms of the LGPL, and not to allow others to use your version of
-* this file under the terms of the EPL, indicate your decision by deleting
-* the provisions above and replace them with the notice and other provisions
-* required by the LGPL. If you do not delete the provisions above, a recipient
-* may use your version of this file under the terms of the EPL or the LGPL.
-*
-* Based on the original MiniSat specification from:
-*
-* An extensible SAT solver. Niklas Een and Niklas Sorensson. Proceedings of the
-* Sixth International Conference on Theory and Applications of Satisfiability
-* Testing, LNCS 2919, pp 502-518, 2003.
-*
-* See www.minisat.se for the original solver in C++.
-*
-*******************************************************************************/
-</pre>
-</body> \ No newline at end of file
diff --git a/bundles/org.sat4j.core/plugin.properties b/bundles/org.sat4j.core/plugin.properties
deleted file mode 100644
index 7bf95ac..0000000
--- a/bundles/org.sat4j.core/plugin.properties
+++ /dev/null
@@ -1,30 +0,0 @@
-###############################################################################
-# SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre
-#
-# All rights reserved. This program and the accompanying materials
-# are made available under the terms of the Eclipse Public License v1.0
-# which accompanies this distribution, and is available at
-# http://www.eclipse.org/legal/epl-v10.html
-#
-# Alternatively, the contents of this file may be used under the terms of
-# either the GNU Lesser General Public License Version 2.1 or later (the
-# "LGPL"), in which case the provisions of the LGPL are applicable instead
-# of those above. If you wish to allow use of your version of this file only
-# under the terms of the LGPL, and not to allow others to use your version of
-# this file under the terms of the EPL, indicate your decision by deleting
-# the provisions above and replace them with the notice and other provisions
-# required by the LGPL. If you do not delete the provisions above, a recipient
-# may use your version of this file under the terms of the EPL or the LGPL.
-#
-# Based on the original MiniSat specification from:
-#
-# An extensible SAT solver. Niklas Een and Niklas Sorensson. Proceedings of the
-# Sixth International Conference on Theory and Applications of Satisfiability
-# Testing, LNCS 2919, pp 502-518, 2003.
-#
-# See www.minisat.se for the original solver in C++.
-#
-###############################################################################
-bundleName = SAT4J Core
-providerName = CRIL CNRS UMR 8188 - Universite d'Artois
-
diff --git a/bundles/org.sat4j.core/pom.xml b/bundles/org.sat4j.core/pom.xml
deleted file mode 100644
index 2d05223..0000000
--- a/bundles/org.sat4j.core/pom.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
- <modelVersion>4.0.0</modelVersion>
-
- <parent>
- <artifactId>org.eclipse.equinox.p2-parent</artifactId>
- <groupId>org.eclipse</groupId>
- <version>4.4.0-SNAPSHOT</version>
- <relativePath>../../org.eclipse.equinox.p2.releng/org.eclipse.equinox.p2-parent</relativePath>
- </parent>
-
- <groupId>org.eclipse.orbit</groupId>
- <artifactId>org.sat4j.core</artifactId>
- <version>2.3.5.v20130525</version>
- <packaging>eclipse-plugin</packaging>
-
-</project>
diff --git a/bundles/org.sat4j.core/sat4j.version b/bundles/org.sat4j.core/sat4j.version
deleted file mode 100644
index 9927eb7..0000000
--- a/bundles/org.sat4j.core/sat4j.version
+++ /dev/null
@@ -1 +0,0 @@
-2.3.5.v20130525
diff --git a/bundles/org.sat4j.pb/.project b/bundles/org.sat4j.pb/.project
deleted file mode 100644
index 0f4af27..0000000
--- a/bundles/org.sat4j.pb/.project
+++ /dev/null
@@ -1,22 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
- <name>org.sat4j.pb</name>
- <comment></comment>
- <projects>
- </projects>
- <buildSpec>
- <buildCommand>
- <name>org.eclipse.pde.ManifestBuilder</name>
- <arguments>
- </arguments>
- </buildCommand>
- <buildCommand>
- <name>org.eclipse.pde.SchemaBuilder</name>
- <arguments>
- </arguments>
- </buildCommand>
- </buildSpec>
- <natures>
- <nature>org.eclipse.pde.PluginNature</nature>
- </natures>
-</projectDescription>
diff --git a/bundles/org.sat4j.pb/META-INF/MANIFEST.MF b/bundles/org.sat4j.pb/META-INF/MANIFEST.MF
deleted file mode 100644
index 32bd2ee..0000000
--- a/bundles/org.sat4j.pb/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,26 +0,0 @@
-Manifest-Version: 1.0
-Ant-Version: Apache Ant 1.7.1
-Created-By: 23.7-b01 (Oracle Corporation)
-Bundle-ManifestVersion: 2
-Bundle-Name: %bundleName
-Bundle-SymbolicName: org.sat4j.pb
-Bundle-Version: 2.3.5.v20130525
-Export-Package: org.sat4j.pb;version="2.3.5.v20130525",org.sat4j.pb.co
- nstraints;version="2.3.5.v20130525",org.sat4j.pb.constraints.pb;versi
- on="2.3.5.v20130525",org.sat4j.pb.core;version="2.3.5.v20130525",org.
- sat4j.pb.orders;version="2.3.5.v20130525",org.sat4j.pb.reader;version
- ="2.3.5.v20130525",org.sat4j.pb.tools;version="2.3.5.v20130525"
-Bundle-Vendor: %providerName
-Bundle-Localization: plugin
-Require-Bundle: org.sat4j.core
-Built-By: Daniel Le Berre
-Main-Class: org.sat4j.pb.LanceurPseudo2007
-Specification-Title: SAT4J
-Specification-Version: NA
-Specification-Vendor: Daniel Le Berre
-Implementation-Title: SAT4J
-Implementation-Version: 2.3.5.v20130525
-Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
-Class-Path: org.sat4j.core.jar
-
diff --git a/bundles/org.sat4j.pb/about.html b/bundles/org.sat4j.pb/about.html
deleted file mode 100644
index 07b5d15..0000000
--- a/bundles/org.sat4j.pb/about.html
+++ /dev/null
@@ -1,58 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
-<title>About</title>
-</head>
-<body lang="EN-US">
-<h2>About This Content</h2>
-
-<p>June, 2010</p>
-<h3>License</h3>
-
-<p>The Eclipse Foundation makes available all content in this plug-in (&quot;Content&quot;). Unless otherwise indicated below, the Content is provided to you under the terms and conditions of the Eclipse Public License Version 1.0 (&quot;EPL&quot;). A copy of the EPL is available at <a href="http://www.eclipse.org/org/documents/epl-v10.php">http://www.eclipse.org/legal/epl-v10.html</a>. For purposes of the EPL, &quot;Program&quot; will mean the Content.</p>
-
-<p>If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party (&quot;Redistributor&quot;) and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor&rsquo;s license that was provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise indicated below, the terms and conditions of the EPL still apply to any source code in the Content and such source code may be obtained at <a href="http://www.eclipse.org/">http://www.eclipse.org</a>.</p>
-
-<h3>Third Party Content</h3>
-<p>The Content includes items that have been sourced from third parties as set out below. If you did not receive this Content directly from the Eclipse Foundation, the following is provided for informational purposes only, and you should look to the Redistributor&rsquo;s license for terms and conditions of use.</p>
-<h4>SAT4J 2.3.5 SUBSET (Pseudo) </h4>
-<p>The SAT4J project makes available all content in this plug-in ("Content"). Your use of the Content is governed by the terms and conditions of the Eclipse Public License Version 1.0 ("EPL"). A copy of the EPL is available at http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL, "Program" will mean the Content. </p>
-<p>Alternatively, the Content may be obtained from the SAT4J project website at <a href="http://www.sat4j.org/">http://www.sat4j.org/</a> for use under the terms of either the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), in which case the provisions of the LGPL are applicable instead of those above. If you wish to allow use of your version of the Content only under the terms of the LGPL, and not to allow others to use your version of this Content under the terms of the EPL, indicate your decision by deleting the provisions above and replace them with the notice and other provisions required by the LGPL. If you do not delete the provisions above, a recipient may use your version of this file under the terms of the EPL or the LGPL.</p>
-<p>The Eclipse Foundation elects to include this software in this distribution under the EPL license. The source code for this plug-in can be obtained from the SAT4J project website at <a href="http://www.sat4j.org/">http://www.sat4j.org/</a></p>
-
-<p>SAT4J includes content that was obtained under licenses that differ from the SAT4J licenses. <br />
- The content in the following classes</br>
-
-<ul>
- <li>org/sat4j/pb/reader/OPBReader2005.java</li>
- <li>org/sat4j/pb/reader/OPBReader2007.java</li>
-</ul>
-<p>is based on a parser for pseudo-Boolean instances (the &quot;Official&quot; reader for the Pseudo Boolean evaluation 2005) and was obtained from
- <ul><li><a href="http://www.cril.univ-artois.fr/PB05/parser/SimpleParser.java">http://www.cril.univ-artois.fr/PB05/parser/SimpleParser.java</a> and </li>
- <li><a href="http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.java">http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.java</a></li> </ul></br>under the following permissive license:<br />
-
-<br />
- Copyright (c) 2005-2007 Olivier ROUSSEL and Vasco MANQUINHO<br />
- <br />
- Permission is hereby granted, free of charge, to any person obtaining a copy<br />
- of this software and associated documentation files (the &quot;Software&quot;), to deal<br />
- in the Software without restriction, including without limitation the rights<br />
- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell<br />
- copies of the Software, and to permit persons to whom the Software is<br />
- furnished to do so, subject to the following conditions:<br />
- <br />
- The above copyright notice and this permission notice shall be included in<br />
- all copies or substantial portions of the Software.<br />
- <br />
- THE SOFTWARE IS PROVIDED &quot;AS IS&quot;, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR<br />
- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,<br />
- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE<br />
- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER<br />
- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,<br />
- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN<br />
- THE SOFTWARE.<br />
-</p>
-</body>
-</html>
diff --git a/bundles/org.sat4j.pb/build.properties b/bundles/org.sat4j.pb/build.properties
deleted file mode 100644
index f9ff671..0000000
--- a/bundles/org.sat4j.pb/build.properties
+++ /dev/null
@@ -1,6 +0,0 @@
-bin.includes = META-INF/,\
- about.html,\
- build.properties,\
- org/,\
- overview.html,\
- plugin.properties
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class
deleted file mode 100644
index bc07ed4..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class
deleted file mode 100644
index 6de0d64..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class
deleted file mode 100644
index 84c32df..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.class
deleted file mode 100644
index 09f6064..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class
deleted file mode 100644
index 31c28c0..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class
deleted file mode 100644
index 6e0544d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class
deleted file mode 100644
index dc78e4b..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class
deleted file mode 100644
index f1eba54..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.class
deleted file mode 100644
index f553333..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class
deleted file mode 100644
index 9f4b4d1..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class b/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class
deleted file mode 100644
index a8166c5..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class b/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class
deleted file mode 100644
index e9cadb8..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class
deleted file mode 100644
index c4ee959..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class
deleted file mode 100644
index 9f041c9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class
deleted file mode 100644
index a1c1310..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class
deleted file mode 100644
index fa3dd90..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class b/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class
deleted file mode 100644
index 169ef51..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.class
deleted file mode 100644
index 7479f91..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class
deleted file mode 100644
index 547f898..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class
deleted file mode 100644
index 9d233a8..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class
deleted file mode 100644
index 20d373e..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class
deleted file mode 100644
index ccb1d1d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class
deleted file mode 100644
index f516fc1..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class
deleted file mode 100644
index 38df5bd..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.class
deleted file mode 100644
index bba3aec..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.class
deleted file mode 100644
index 6c4cba2..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class
deleted file mode 100644
index f83e8c6..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class
deleted file mode 100644
index 72a6b7a..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class
deleted file mode 100644
index 64f4425..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class
deleted file mode 100644
index 99af0ae..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class
deleted file mode 100644
index d05e87d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class
deleted file mode 100644
index 70d1702..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.class
deleted file mode 100644
index 8086932..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.class
deleted file mode 100644
index ab28df0..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.class
deleted file mode 100644
index a172c1a..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class
deleted file mode 100644
index 7bc02b4..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class
deleted file mode 100644
index 4ba2ae4..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.class
deleted file mode 100644
index 942080f..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.class
deleted file mode 100644
index 1990fff..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.class
deleted file mode 100644
index 96f5b37..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class
deleted file mode 100644
index f2b7490..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.class
deleted file mode 100644
index 4571a83..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.class
deleted file mode 100644
index 73d5436..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.class
deleted file mode 100644
index b017aea..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class
deleted file mode 100644
index d1cba51..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class
deleted file mode 100644
index 527375d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class
deleted file mode 100644
index c53ab61..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class
deleted file mode 100644
index 5be244a..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.class
deleted file mode 100644
index 98e4b0d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class
deleted file mode 100644
index 7aab89d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.class
deleted file mode 100644
index 41e5e77..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class
deleted file mode 100644
index bc898f9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class
deleted file mode 100644
index f16fd17..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class
deleted file mode 100644
index f55aaad..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.class
deleted file mode 100644
index e0974ef..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class
deleted file mode 100644
index cbb9c7d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class
deleted file mode 100644
index 4ddfa65..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class
deleted file mode 100644
index 7fe4fcb..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.class
deleted file mode 100644
index 4946ab3..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.class
deleted file mode 100644
index c8c08a5..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.class
deleted file mode 100644
index 6a5a01c..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.class
deleted file mode 100644
index 0a08e6c..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.class
deleted file mode 100644
index d3a76f9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class
deleted file mode 100644
index 3230b91..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.class
deleted file mode 100644
index 5c30f10..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.class
deleted file mode 100644
index c0469b5..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.class
deleted file mode 100644
index 90e4553..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.class
deleted file mode 100644
index 3651c78..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class
deleted file mode 100644
index 4e4cdae..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.class
deleted file mode 100644
index 0ba5b61..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.class
deleted file mode 100644
index 2dc30f5..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.class
deleted file mode 100644
index 096ff60..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.class
deleted file mode 100644
index ad5c878..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class
deleted file mode 100644
index 11fcfc7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.class
deleted file mode 100644
index 384fccf..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.class
deleted file mode 100644
index 23d6d11..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.class
deleted file mode 100644
index 6e29aad..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class
deleted file mode 100644
index 261d36c..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class
deleted file mode 100644
index 0a683f8..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.class
deleted file mode 100644
index 9f463d1..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.class
deleted file mode 100644
index d6c8c42..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.class
deleted file mode 100644
index e9784a7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class
deleted file mode 100644
index d32c797..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.class
deleted file mode 100644
index ec471fd..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.class
deleted file mode 100644
index 85b7841..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.class
deleted file mode 100644
index 02045e8..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.class
deleted file mode 100644
index f8c87a3..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.class
deleted file mode 100644
index c86e2f9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.class
deleted file mode 100644
index 349dcf3..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.class
deleted file mode 100644
index 73f9e5b..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.class
deleted file mode 100644
index b53da82..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class
deleted file mode 100644
index a3ab059..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.class
deleted file mode 100644
index 43cc782..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.class
deleted file mode 100644
index c9f8cdd..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.class
deleted file mode 100644
index 5a3aff7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.class
deleted file mode 100644
index cd36208..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.class
deleted file mode 100644
index 7d79df1..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.class
deleted file mode 100644
index df623db..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.class
deleted file mode 100644
index f347e65..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.class
deleted file mode 100644
index d1f58fe..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.class
deleted file mode 100644
index 7b4fa34..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.class
deleted file mode 100644
index 7353ca6..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.class
deleted file mode 100644
index d9978ba..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.class
deleted file mode 100644
index d1f8a83..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.class b/bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.class
deleted file mode 100644
index 4149c07..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.class b/bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.class
deleted file mode 100644
index c6e1fbd..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.class b/bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.class
deleted file mode 100644
index 33542d7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.class
deleted file mode 100644
index 48f4fac..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/package-info.class
deleted file mode 100644
index b776f18..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.class
deleted file mode 100644
index 40e4f6a..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.class
deleted file mode 100644
index 35403ab..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.class
deleted file mode 100644
index a285f62..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.class
deleted file mode 100644
index d472e81..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.class
deleted file mode 100644
index a493fa6..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.class
deleted file mode 100644
index e6d1ea9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.class
deleted file mode 100644
index 6accec4..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.class
deleted file mode 100644
index 64632e3..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.class
deleted file mode 100644
index 95077c5..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.class
deleted file mode 100644
index 8ea4c14..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.class
deleted file mode 100644
index 8777d5d..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.class
deleted file mode 100644
index 7b16ba7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.class
deleted file mode 100644
index 6c3319b..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.class
deleted file mode 100644
index 8d72a68..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.class
deleted file mode 100644
index cfa5c1b..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.class
deleted file mode 100644
index e6eaf46..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.class
deleted file mode 100644
index 5c03a29..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.class
deleted file mode 100644
index 7ec27ed..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.class
deleted file mode 100644
index 7f95c59..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.class
deleted file mode 100644
index b7f6b44..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.class
deleted file mode 100644
index 12d82fd..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.class
deleted file mode 100644
index da3e5a9..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.class
deleted file mode 100644
index 4750846..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.class
deleted file mode 100644
index 9ce60e7..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.class
deleted file mode 100644
index f96a102..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.class
deleted file mode 100644
index 8c72176..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class
deleted file mode 100644
index 954e6c0..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class
deleted file mode 100644
index 7e38b30..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.class
deleted file mode 100644
index 01f498a..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.class
deleted file mode 100644
index a5b91ba..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class
deleted file mode 100644
index dc6a81c..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.class b/bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.class
deleted file mode 100644
index b497c32..0000000
--- a/bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.class
+++ /dev/null
Binary files differ
diff --git a/bundles/org.sat4j.pb/overview.html b/bundles/org.sat4j.pb/overview.html
deleted file mode 100644
index 0fd2958..0000000
--- a/bundles/org.sat4j.pb/overview.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<body>
-SAT4J: a SATisfiability library for Java.
-
-<pre>
-/*******************************************************************************
-* SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre
-*
-* All rights reserved. This program and the accompanying materials
-* are made available under the terms of the Eclipse Public License v1.0
-* which accompanies this distribution, and is available at
-* http://www.eclipse.org/legal/epl-v10.html
-*
-* Alternatively, the contents of this file may be used under the terms of
-* either the GNU Lesser General Public License Version 2.1 or later (the
-* "LGPL"), in which case the provisions of the LGPL are applicable instead
-* of those above. If you wish to allow use of your version of this file only
-* under the terms of the LGPL, and not to allow others to use your version of
-* this file under the terms of the EPL, indicate your decision by deleting
-* the provisions above and replace them with the notice and other provisions
-* required by the LGPL. If you do not delete the provisions above, a recipient
-* may use your version of this file under the terms of the EPL or the LGPL.
-*
-* Based on the original MiniSat specification from:
-*
-* An extensible SAT solver. Niklas Een and Niklas Sorensson. Proceedings of the
-* Sixth International Conference on Theory and Applications of Satisfiability
-* Testing, LNCS 2919, pp 502-518, 2003.
-*
-* See www.minisat.se for the original solver in C++.
-*
-*******************************************************************************/
-</pre>
-</body> \ No newline at end of file
diff --git a/bundles/org.sat4j.pb/plugin.properties b/bundles/org.sat4j.pb/plugin.properties
deleted file mode 100644
index 695b09e..0000000
--- a/bundles/org.sat4j.pb/plugin.properties
+++ /dev/null
@@ -1,30 +0,0 @@
-###############################################################################
-# SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre
-#
-# All rights reserved. This program and the accompanying materials
-# are made available under the terms of the Eclipse Public License v1.0
-# which accompanies this distribution, and is available at
-# http://www.eclipse.org/legal/epl-v10.html
-#
-# Alternatively, the contents of this file may be used under the terms of
-# either the GNU Lesser General Public License Version 2.1 or later (the
-# "LGPL"), in which case the provisions of the LGPL are applicable instead
-# of those above. If you wish to allow use of your version of this file only
-# under the terms of the LGPL, and not to allow others to use your version of
-# this file under the terms of the EPL, indicate your decision by deleting
-# the provisions above and replace them with the notice and other provisions
-# required by the LGPL. If you do not delete the provisions above, a recipient
-# may use your version of this file under the terms of the EPL or the LGPL.
-#
-# Based on the original MiniSat specification from:
-#
-# An extensible SAT solver. Niklas Een and Niklas Sorensson. Proceedings of the
-# Sixth International Conference on Theory and Applications of Satisfiability
-# Testing, LNCS 2919, pp 502-518, 2003.
-#
-# See www.minisat.se for the original solver in C++.
-#
-###############################################################################
-bundleName = SAT4J Pseudo
-providerName = CRIL CNRS UMR 8188 - Universite d'Artois
-
diff --git a/bundles/org.sat4j.pb/pom.xml b/bundles/org.sat4j.pb/pom.xml
deleted file mode 100644
index 6199bc5..0000000
--- a/bundles/org.sat4j.pb/pom.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
- <modelVersion>4.0.0</modelVersion>
-
- <parent>
- <artifactId>org.eclipse.equinox.p2-parent</artifactId>
- <groupId>org.eclipse</groupId>
- <version>4.4.0-SNAPSHOT</version>
- <relativePath>../../org.eclipse.equinox.p2.releng/org.eclipse.equinox.p2-parent</relativePath>
- </parent>
-
- <groupId>org.eclipse.orbit</groupId>
- <artifactId>org.sat4j.pb</artifactId>
- <version>2.3.5.v20130525</version>
- <packaging>eclipse-plugin</packaging>
-
-</project>