Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPascal Rapicault2013-09-11 10:56:57 -0400
committerPascal Rapicault2013-09-11 10:57:04 -0400
commit669773974e9334b6e0aaf98c33f1b853f21b6937 (patch)
treec596ac00100f2bd5985017a987d30d7092c3054e /bundles
parent9c1a0f300d694ba8aaba1a0499cb999630d49297 (diff)
downloadrt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.tar.gz
rt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.tar.xz
rt.equinox.p2-669773974e9334b6e0aaf98c33f1b853f21b6937.zip
Bug 416195 - remove or null out sat4j projects in p2 repository
Diffstat (limited to 'bundles')
-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 9ba042e84..000000000
--- 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 fe8e47c66..000000000
--- 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 d6bb197ad..000000000
--- 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 5e8277990..000000000
--- 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 5551c4e11..000000000
--- 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 81c789fa0..000000000
--- 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 a6f552c51..000000000
--- 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 5f708f338..000000000
--- 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 2cd563f3b..000000000
--- 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 40cba6e80..000000000
--- 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 ce2b95f33..000000000
--- 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 f06f2c5d7..000000000
--- 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 c65f688dd..000000000
--- 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 7c3700dde..000000000
--- 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 9ec4231f0..000000000
--- 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 a80850cbf..000000000
--- 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 de9dd866e..000000000
--- 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 ea3cee496..000000000
--- 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 09c5715ba..000000000
--- 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 957932083..000000000
--- 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 10984cb47..000000000
--- 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 3a9755bbe..000000000
--- 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 649978f3b..000000000
--- 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 5a6050ad8..000000000
--- 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 b51dc7233..000000000
--- 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 2bc2ed293..000000000
--- 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 9864d5731..000000000
--- 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 94aab161a..000000000
--- 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 9250026bc..000000000
--- 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 71f4d304e..000000000
--- 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 d6552952d..000000000
--- 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 674546e3d..000000000
--- 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 2b3f0f007..000000000
--- 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 45dc491b5..000000000
--- 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 afde6e400..000000000
--- 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 fde1f0f5e..000000000
--- 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 908770444..000000000
--- 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 e0afa39ce..000000000
--- 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 99471982a..000000000
--- 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 43ca6a89d..000000000
--- 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 e4e4109d8..000000000
--- 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 2b0f49dbb..000000000
--- 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 aa730436b..000000000
--- 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 dd44ae47d..000000000
--- 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 326f0c0e7..000000000
--- 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 61b89c556..000000000
--- 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 8279b4c1b..000000000
--- 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 6d1a38e0b..000000000
--- 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 7929bec4a..000000000
--- 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 3f67cc193..000000000
--- 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 ae7086713..000000000
--- 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 588c83190..000000000
--- 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 74a17bd36..000000000
--- 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 811716d9c..000000000
--- 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 dc129915b..000000000
--- 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 e17d4dd6f..000000000
--- 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 46c6e0851..000000000
--- 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 2cef0bcfb..000000000
--- 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 bf74bc81d..000000000
--- 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 91dfb3d44..000000000
--- 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 b0c74619c..000000000
--- 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 7e1532d58..000000000
--- 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 4252b26bb..000000000
--- 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 706c35e0d..000000000
--- 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 194b53ac1..000000000
--- 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 3563a5c55..000000000
--- 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 f54155d04..000000000
--- 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 f91db67c4..000000000
--- 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 0019a54c0..000000000
--- 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 cbd46ea46..000000000
--- 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 b48ccc1d6..000000000
--- 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 e1e4d6322..000000000
--- 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 ef7aa618d..000000000
--- 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 2fc380345..000000000
--- 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 b486c5384..000000000
--- 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 495e1280e..000000000
--- 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 59ece9183..000000000
--- 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 2f28446cb..000000000
--- 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 84c154308..000000000
--- 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 70fead3ff..000000000
--- 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 0bcbd861e..000000000
--- 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 5d2b6227f..000000000
--- 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 24273f2ee..000000000
--- 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 9f3129580..000000000
--- 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 ad2ed638d..000000000
--- 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 a4896136e..000000000
--- 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 91ad12880..000000000
--- 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 65a96d290..000000000
--- 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 9a4c84aa0..000000000
--- 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 a964baa2e..000000000
--- 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 2ab3e6d3d..000000000
--- 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 cd8dd6234..000000000
--- 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 e71440cea..000000000
--- 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 c4846babd..000000000
--- 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 83ad2edd7..000000000
--- 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 a128779f1..000000000
--- 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 2b1b24242..000000000
--- 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 038824ab2..000000000
--- 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 6fe0cc599..000000000
--- 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 66287e189..000000000
--- 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 78c1e626e..000000000
--- 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 400ff41b8..000000000
--- 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 4026af54e..000000000
--- 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 5bcce0296..000000000
--- 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 5deb28f34..000000000
--- 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 a3e270727..000000000
--- 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 6b6b02d31..000000000
--- 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 ba3e480aa..000000000
--- 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 6709fdc76..000000000
--- 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 98e9fadaa..000000000
--- 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 0a632ad35..000000000
--- 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 380cc3012..000000000
--- 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 1dbafb69f..000000000
--- 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 a0d0b2e0a..000000000
--- 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 6019830b3..000000000
--- 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 461667f46..000000000
--- 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 48b723963..000000000
--- 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 1c7a10f93..000000000
--- 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 dd21a3b00..000000000
--- 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 23310f196..000000000
--- 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 88f83b8a4..000000000
--- 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 cdcdada40..000000000
--- 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 55f66223f..000000000
--- 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 bee2808b3..000000000
--- 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 fa84a6764..000000000
--- 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 dcffe28e8..000000000
--- 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 d751fb21b..000000000
--- 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 062e5fbb4..000000000
--- 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 81f81973d..000000000
--- 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 3253a3340..000000000
--- 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 b44f0117a..000000000
--- 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 294f75c42..000000000
--- 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 eeab986cc..000000000
--- 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 249a8268c..000000000
--- 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 6ee15c498..000000000
--- 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 ae30562a0..000000000
--- 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 5e6f4e8ae..000000000
--- 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 1972a2fea..000000000
--- 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 9e080d30a..000000000
--- 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 abe4f03ee..000000000
--- 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 f3db93cde..000000000
--- 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 e5d9e3233..000000000
--- 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 eb671de0e..000000000
--- 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 91da1ed6a..000000000
--- 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 7d9cb3309..000000000
--- 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 76068116e..000000000
--- 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 53e3d7659..000000000
--- 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 5db9e218d..000000000
--- 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 3b630048a..000000000
--- 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 f87c6d95c..000000000
--- 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 f74ac5763..000000000
--- 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 edaecb148..000000000
--- 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 d8d90c0d9..000000000
--- 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 bf01eae27..000000000
--- 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 cfe7771df..000000000
--- 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 82df9c690..000000000
--- 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 a11b8cc43..000000000
--- 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 7b9a7b829..000000000
--- 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 9301a2e27..000000000
--- 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 35a60881e..000000000
--- 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 34b65531d..000000000
--- 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 d869e29c5..000000000
--- 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 e31aa339a..000000000
--- 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 8afa3fc8f..000000000
--- 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 890fd4b91..000000000
--- 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 cc36fc3dd..000000000
--- 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 a1a556382..000000000
--- 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 2dd5eeb14..000000000
--- 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 d792dc769..000000000
--- 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 2d5bfb0f6..000000000
--- 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 663f30f03..000000000
--- 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 0e2bdf027..000000000
--- 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 4d798c8b9..000000000
--- 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 ad3d62ec8..000000000
--- 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 dacfef2aa..000000000
--- 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 59b278d1e..000000000
--- 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 8f90147ca..000000000
--- 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 7e94cac7d..000000000
--- 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 ea5d23527..000000000
--- 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 61c262605..000000000
--- 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 d326c10dc..000000000
--- 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 11a544099..000000000
--- 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 22e491c83..000000000
--- 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 21eb46ae0..000000000
--- 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 3f2830151..000000000
--- 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 00d8e9dc5..000000000
--- 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 af30685a1..000000000
--- 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 3c782af53..000000000
--- 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 fafd644f7..000000000
--- 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 1a960d08e..000000000
--- 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 823b0bd02..000000000
--- 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 9d711a078..000000000
--- 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 31a9778b4..000000000
--- 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 f056b9f9c..000000000
--- 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 239b5f279..000000000
--- 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 24d0bad08..000000000
--- 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 a12432c4e..000000000
--- 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 db66956aa..000000000
--- 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 69e4f59d3..000000000
--- 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 c023446a6..000000000
--- 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 079dda764..000000000
--- 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 bcf139f56..000000000
--- 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 98a3d7daa..000000000
--- 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 7f0a40f7f..000000000
--- 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 cdab61640..000000000
--- 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 2dab368b1..000000000
--- 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 e7f664d1d..000000000
--- 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 a82eb7f34..000000000
--- 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 0a015ad3c..000000000
--- 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 e1ad175ee..000000000
--- 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 1a6c9291a..000000000
--- 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 5ad039267..000000000
--- 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 a0f926d56..000000000
--- 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 a879f7790..000000000
--- 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 444a6ed49..000000000
--- 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 660d7695c..000000000
--- 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 ac99f41e9..000000000
--- 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 c1f5f42f2..000000000
--- 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 02bd05a08..000000000
--- 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 7e43402ba..000000000
--- 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 32abe9fa5..000000000
--- 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 b5b15da07..000000000
--- 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 8afccfa49..000000000
--- 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 d40c48259..000000000
--- 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 08ce097f8..000000000
--- 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 c2be28923..000000000
--- 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 3d5e06021..000000000
--- 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 3a5b667ed..000000000
--- 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 de4e7a288..000000000
--- 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 bba9a052b..000000000
--- 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 e9097b818..000000000
--- 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 261a115d1..000000000
--- 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 fbf8947f7..000000000
--- 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 0414fb856..000000000
--- 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 94d5fcd49..000000000
--- 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 d4ccb04a7..000000000
--- 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 ea5651c10..000000000
--- 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 a568e3e8c..000000000
--- 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 749938c66..000000000
--- 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 0639aa72b..000000000
--- 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 0601a87ad..000000000
--- 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 5ba7b529b..000000000
--- 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 597639f83..000000000
--- 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 803c51bc0..000000000
--- 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 20180d2a5..000000000
--- 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 5a1f17cc9..000000000
--- 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 7d7c27ee2..000000000
--- 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 9654c8530..000000000
--- 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 dd055e7e3..000000000
--- 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 976ed690c..000000000
--- 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 871f53c25..000000000
--- 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 0fd295811..000000000
--- 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 7bf95acda..000000000
--- 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 2d05223ed..000000000
--- 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 9927eb7ee..000000000
--- 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 0f4af2711..000000000
--- 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 32bd2ee0a..000000000
--- 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 07b5d1518..000000000
--- 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 f9ff67106..000000000
--- 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 bc07ed451..000000000
--- 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 6de0d6442..000000000
--- 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 84c32dfc8..000000000
--- 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 09f6064a1..000000000
--- 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 31c28c01c..000000000
--- 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 6e0544de6..000000000
--- 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 dc78e4b04..000000000
--- 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 f1eba5443..000000000
--- 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 f5533332f..000000000
--- 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 9f4b4d133..000000000
--- 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 a8166c530..000000000
--- 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 e9cadb8c7..000000000
--- 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 c4ee959b7..000000000
--- 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 9f041c968..000000000
--- 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 a1c131098..000000000
--- 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 fa3dd9000..000000000
--- 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 169ef511f..000000000
--- 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 7479f910d..000000000
--- 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 547f898cd..000000000
--- 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 9d233a83b..000000000
--- 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 20d373e48..000000000
--- 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 ccb1d1dd4..000000000
--- 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 f516fc1ca..000000000
--- 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 38df5bdba..000000000
--- 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 bba3aec59..000000000
--- 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 6c4cba2ba..000000000
--- 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 f83e8c6ca..000000000
--- 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 72a6b7a49..000000000
--- 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 64f4425c9..000000000
--- 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 99af0ae31..000000000
--- 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 d05e87d17..000000000
--- 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 70d17028e..000000000
--- 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 80869320e..000000000
--- 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 ab28df06c..000000000
--- 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 a172c1ae1..000000000
--- 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 7bc02b46e..000000000
--- 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 4ba2ae431..000000000
--- 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 942080f99..000000000
--- 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 1990fff16..000000000
--- 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 96f5b37ce..000000000
--- 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 f2b7490e0..000000000
--- 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 4571a8331..000000000
--- 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 73d5436d6..000000000
--- 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 b017aeaac..000000000
--- 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 d1cba5197..000000000
--- 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 527375d02..000000000
--- 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 c53ab61c9..000000000
--- 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 5be244a1e..000000000
--- 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 98e4b0d26..000000000
--- 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 7aab89db2..000000000
--- 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 41e5e7730..000000000
--- 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 bc898f989..000000000
--- 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 f16fd1774..000000000
--- 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 f55aaad45..000000000
--- 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 e0974efb8..000000000
--- 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 cbb9c7d24..000000000
--- 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 4ddfa6570..000000000
--- 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 7fe4fcbf9..000000000
--- 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 4946ab3a7..000000000
--- 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 c8c08a5a1..000000000
--- 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 6a5a01caa..000000000
--- 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 0a08e6cf9..000000000
--- 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 d3a76f924..000000000
--- 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 3230b91e4..000000000
--- 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 5c30f10df..000000000
--- 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 c0469b573..000000000
--- 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 90e45532b..000000000
--- 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 3651c7858..000000000
--- 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 4e4cdae71..000000000
--- 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 0ba5b613f..000000000
--- 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 2dc30f528..000000000
--- 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 096ff6003..000000000
--- 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 ad5c878ff..000000000
--- 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 11fcfc732..000000000
--- 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 384fccfa6..000000000
--- 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 23d6d11aa..000000000
--- 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 6e29aada4..000000000
--- 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 261d36c9c..000000000
--- 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 0a683f87d..000000000
--- 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 9f463d19c..000000000
--- 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 d6c8c42f7..000000000
--- 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 e9784a7f3..000000000
--- 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 d32c79732..000000000
--- 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 ec471fd30..000000000
--- 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 85b784152..000000000
--- 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 02045e840..000000000
--- 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 f8c87a37e..000000000
--- 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 c86e2f94b..000000000
--- 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 349dcf326..000000000
--- 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 73f9e5ba9..000000000
--- 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 b53da826b..000000000
--- 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 a3ab059ca..000000000
--- 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 43cc7827a..000000000
--- 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 c9f8cdd44..000000000
--- 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 5a3aff735..000000000
--- 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 cd362083d..000000000
--- 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 7d79df129..000000000
--- 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 df623db83..000000000
--- 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 f347e6541..000000000
--- 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 d1f58fea0..000000000
--- 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 7b4fa34b3..000000000
--- 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 7353ca6a7..000000000
--- 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 d9978ba41..000000000
--- 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 d1f8a8306..000000000
--- 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 4149c0745..000000000
--- 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 c6e1fbd27..000000000
--- 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 33542d767..000000000
--- 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 48f4fac17..000000000
--- 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 b776f1888..000000000
--- 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 40e4f6a19..000000000
--- 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 35403abbe..000000000
--- 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 a285f62b4..000000000
--- 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 d472e81db..000000000
--- 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 a493fa678..000000000
--- 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 e6d1ea956..000000000
--- 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 6accec41a..000000000
--- 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 64632e303..000000000
--- 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 95077c5e6..000000000
--- 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 8ea4c1428..000000000
--- 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 8777d5dd5..000000000
--- 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 7b16ba795..000000000
--- 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 6c3319b27..000000000
--- 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 8d72a6812..000000000
--- 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 cfa5c1b5b..000000000
--- 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 e6eaf462a..000000000
--- 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 5c03a298a..000000000
--- 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 7ec27ed07..000000000
--- 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 7f95c59e1..000000000
--- 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 b7f6b4425..000000000
--- 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 12d82fd0e..000000000
--- 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 da3e5a9d2..000000000
--- 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 4750846ca..000000000
--- 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 9ce60e7c3..000000000
--- 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 f96a102ae..000000000
--- 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 8c72176e4..000000000
--- 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 954e6c076..000000000
--- 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 7e38b30f1..000000000
--- 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 01f498ad2..000000000
--- 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 a5b91baaa..000000000
--- 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 dc6a81c9f..000000000
--- 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 b497c32c5..000000000
--- 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 0fd295811..000000000
--- 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 695b09e97..000000000
--- 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 6199bc5cb..000000000
--- 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>

Back to the top