From fc958e5370b322d44ad3a807091617cf7d73545b Mon Sep 17 00:00:00 2001
From: Pascal Rapicault
Date: Sat, 25 May 2013 23:35:58 -0400
Subject: Bug 409051 -[planner] Resolver times out on simple instance
---
.../META-INF/MANIFEST.MF | 4 +-
.../eclipse/equinox/p2/tests/planner/AllTests.java | 1 +
bundles/org.sat4j.core/.project | 22 ++++++++
bundles/org.sat4j.core/META-INF/MANIFEST.MF | 31 +++++++++++
bundles/org.sat4j.core/about.html | 56 ++++++++++++++++++++
bundles/org.sat4j.core/build.properties | 7 +++
.../org/sat4j/AbstractLauncher$1.class | Bin 0 -> 589 bytes
.../org/sat4j/AbstractLauncher$2.class | Bin 0 -> 640 bytes
.../org/sat4j/AbstractLauncher.class | Bin 0 -> 10682 bytes
.../org/sat4j/AbstractOptimizationLauncher.class | Bin 0 -> 3784 bytes
.../org.sat4j.core/org/sat4j/BasicLauncher.class | Bin 0 -> 2695 bytes
bundles/org.sat4j.core/org/sat4j/ExitCode.class | Bin 0 -> 955 bytes
.../org.sat4j.core/org/sat4j/ILauncherMode$1.class | Bin 0 -> 4748 bytes
.../org.sat4j.core/org/sat4j/ILauncherMode$2.class | Bin 0 -> 5011 bytes
.../org.sat4j.core/org/sat4j/ILauncherMode.class | Bin 0 -> 1098 bytes
.../org.sat4j.core/org/sat4j/LightFactory.class | Bin 0 -> 2734 bytes
.../org.sat4j.core/org/sat4j/MUSLauncher$1.class | Bin 0 -> 1520 bytes
.../org.sat4j.core/org/sat4j/MUSLauncher$2.class | Bin 0 -> 1935 bytes
bundles/org.sat4j.core/org/sat4j/MUSLauncher.class | Bin 0 -> 6768 bytes
bundles/org.sat4j.core/org/sat4j/Messages.class | Bin 0 -> 1100 bytes
bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class | Bin 0 -> 2702 bytes
.../org/sat4j/core/ASolverFactory.class | Bin 0 -> 3123 bytes
.../org/sat4j/core/ConstrGroup.class | Bin 0 -> 2484 bytes
.../org/sat4j/core/DefaultComparator.class | Bin 0 -> 1057 bytes
.../org/sat4j/core/LiteralsUtils.class | Bin 0 -> 996 bytes
.../org/sat4j/core/ReadOnlyVec.class | Bin 0 -> 4986 bytes
.../org/sat4j/core/ReadOnlyVecInt.class | Bin 0 -> 4138 bytes
bundles/org.sat4j.core/org/sat4j/core/Vec$1.class | Bin 0 -> 1124 bytes
bundles/org.sat4j.core/org/sat4j/core/Vec.class | Bin 0 -> 8350 bytes
.../org.sat4j.core/org/sat4j/core/VecInt$1$1.class | Bin 0 -> 758 bytes
.../org.sat4j.core/org/sat4j/core/VecInt$1.class | Bin 0 -> 3873 bytes
.../org.sat4j.core/org/sat4j/core/VecInt$2.class | Bin 0 -> 927 bytes
bundles/org.sat4j.core/org/sat4j/core/VecInt.class | Bin 0 -> 8330 bytes
.../org/sat4j/core/package-info.class | Bin 0 -> 120 bytes
.../org.sat4j.core/org/sat4j/messages.properties | 8 +++
.../org/sat4j/minisat/SolverFactory.class | Bin 0 -> 10262 bytes
.../AbstractCardinalityDataStructure.class | Bin 0 -> 648 bytes
.../constraints/AbstractDataStructureFactory.class | Bin 0 -> 2825 bytes
.../constraints/CardinalityDataStructure.class | Bin 0 -> 1705 bytes
.../CardinalityDataStructureYanMax.class | Bin 0 -> 1754 bytes
.../CardinalityDataStructureYanMin.class | Bin 0 -> 1754 bytes
.../constraints/ClausalDataStructureWL.class | Bin 0 -> 2111 bytes
.../constraints/MixedDataStructureDanielHT.class | Bin 0 -> 2870 bytes
.../constraints/MixedDataStructureDanielWL.class | Bin 0 -> 2870 bytes
.../constraints/MixedDataStructureSingleWL.class | Bin 0 -> 2744 bytes
.../sat4j/minisat/constraints/card/AtLeast.class | Bin 0 -> 6464 bytes
.../minisat/constraints/card/MaxWatchCard.class | Bin 0 -> 6988 bytes
.../minisat/constraints/card/MinWatchCard.class | Bin 0 -> 9666 bytes
.../minisat/constraints/card/package-info.class | Bin 0 -> 140 bytes
.../minisat/constraints/cnf/BinaryClause.class | Bin 0 -> 4805 bytes
.../sat4j/minisat/constraints/cnf/Clauses.class | Bin 0 -> 1544 bytes
.../sat4j/minisat/constraints/cnf/HTClause.class | Bin 0 -> 6036 bytes
.../constraints/cnf/LearntBinaryClause.class | Bin 0 -> 1057 bytes
.../minisat/constraints/cnf/LearntHTClause.class | Bin 0 -> 1647 bytes
.../minisat/constraints/cnf/LearntWLClause.class | Bin 0 -> 1677 bytes
.../org/sat4j/minisat/constraints/cnf/Lits.class | Bin 0 -> 5978 bytes
.../constraints/cnf/OriginalBinaryClause.class | Bin 0 -> 1423 bytes
.../minisat/constraints/cnf/OriginalHTClause.class | Bin 0 -> 1703 bytes
.../minisat/constraints/cnf/OriginalWLClause.class | Bin 0 -> 1792 bytes
.../sat4j/minisat/constraints/cnf/UnitClause.class | Bin 0 -> 2995 bytes
.../minisat/constraints/cnf/UnitClauses.class | Bin 0 -> 2797 bytes
.../sat4j/minisat/constraints/cnf/WLClause.class | Bin 0 -> 5245 bytes
.../minisat/constraints/cnf/package-info.class | Bin 0 -> 139 bytes
.../sat4j/minisat/constraints/package-info.class | Bin 0 -> 135 bytes
.../sat4j/minisat/core/ActivityComparator.class | Bin 0 -> 1075 bytes
.../org/sat4j/minisat/core/ActivityListener.class | Bin 0 -> 239 bytes
.../org/sat4j/minisat/core/CircularBuffer.class | Bin 0 -> 1144 bytes
.../org/sat4j/minisat/core/ConflictTimer.class | Bin 0 -> 174 bytes
.../sat4j/minisat/core/ConflictTimerAdapter.class | Bin 0 -> 846 bytes
.../minisat/core/ConflictTimerContainer.class | Bin 0 -> 1667 bytes
.../org/sat4j/minisat/core/Constr.class | Bin 0 -> 680 bytes
.../minisat/core/ConstrActivityListener.class | Bin 0 -> 211 bytes
.../org/sat4j/minisat/core/Counter.class | Bin 0 -> 839 bytes
.../sat4j/minisat/core/DataStructureFactory.class | Bin 0 -> 963 bytes
.../org/sat4j/minisat/core/Heap.class | Bin 0 -> 3364 bytes
.../org/sat4j/minisat/core/ICDCL.class | Bin 0 -> 1935 bytes
.../org/sat4j/minisat/core/ILits.class | Bin 0 -> 1018 bytes
.../org/sat4j/minisat/core/IOrder.class | Bin 0 -> 683 bytes
.../minisat/core/IPhaseSelectionStrategy.class | Bin 0 -> 319 bytes
.../org/sat4j/minisat/core/ISimplifier.class | Bin 0 -> 204 bytes
.../org/sat4j/minisat/core/IntQueue.class | Bin 0 -> 1914 bytes
.../core/LearnedConstraintsDeletionStrategy.class | Bin 0 -> 526 bytes
.../core/LearnedConstraintsEvaluationType.class | Bin 0 -> 1250 bytes
.../org/sat4j/minisat/core/Learner.class | Bin 0 -> 171 bytes
.../org/sat4j/minisat/core/LearningStrategy.class | Bin 0 -> 542 bytes
.../org/sat4j/minisat/core/Pair.class | Bin 0 -> 455 bytes
.../org/sat4j/minisat/core/Propagatable.class | Bin 0 -> 255 bytes
.../org/sat4j/minisat/core/RestartStrategy.class | Bin 0 -> 581 bytes
.../org/sat4j/minisat/core/SearchParams.class | Bin 0 -> 2751 bytes
.../sat4j/minisat/core/SimplificationType.class | Bin 0 -> 1191 bytes
.../org/sat4j/minisat/core/Solver$1.class | Bin 0 -> 769 bytes
.../org/sat4j/minisat/core/Solver$10.class | Bin 0 -> 656 bytes
.../org/sat4j/minisat/core/Solver$11.class | Bin 0 -> 781 bytes
.../org/sat4j/minisat/core/Solver$2.class | Bin 0 -> 978 bytes
.../org/sat4j/minisat/core/Solver$3.class | Bin 0 -> 981 bytes
.../org/sat4j/minisat/core/Solver$4.class | Bin 0 -> 1012 bytes
.../org/sat4j/minisat/core/Solver$5.class | Bin 0 -> 958 bytes
.../org/sat4j/minisat/core/Solver$6.class | Bin 0 -> 1116 bytes
.../org/sat4j/minisat/core/Solver$7.class | Bin 0 -> 1116 bytes
.../org/sat4j/minisat/core/Solver$8$1.class | Bin 0 -> 902 bytes
.../org/sat4j/minisat/core/Solver$8.class | Bin 0 -> 3323 bytes
.../org/sat4j/minisat/core/Solver$9.class | Bin 0 -> 3139 bytes
.../sat4j/minisat/core/Solver$Glucose2LCDS.class | Bin 0 -> 1504 bytes
.../sat4j/minisat/core/Solver$GlucoseLCDS.class | Bin 0 -> 3890 bytes
.../org/sat4j/minisat/core/Solver.class | Bin 0 -> 51611 bytes
.../org/sat4j/minisat/core/SolverStats.class | Bin 0 -> 3770 bytes
.../org/sat4j/minisat/core/Undoable.class | Bin 0 -> 142 bytes
.../sat4j/minisat/core/VarActivityListener.class | Bin 0 -> 203 bytes
.../org/sat4j/minisat/core/VoidTracing.class | Bin 0 -> 2300 bytes
.../org/sat4j/minisat/core/package-info.class | Bin 0 -> 128 bytes
.../sat4j/minisat/learning/AbstractLearning.class | Bin 0 -> 1942 bytes
.../sat4j/minisat/learning/ActiveLearning.class | Bin 0 -> 2703 bytes
.../minisat/learning/ClauseOnlyLearning.class | Bin 0 -> 1050 bytes
.../minisat/learning/FixedLengthLearning.class | Bin 0 -> 1836 bytes
.../sat4j/minisat/learning/LimitedLearning.class | Bin 0 -> 2621 bytes
.../sat4j/minisat/learning/MiniSATLearning.class | Bin 0 -> 1746 bytes
.../minisat/learning/NoLearningButHeuristics.class | Bin 0 -> 876 bytes
.../minisat/learning/NoLearningNoHeuristics.class | Bin 0 -> 835 bytes
.../minisat/learning/PercentLengthLearning.class | Bin 0 -> 2078 bytes
.../org/sat4j/minisat/learning/package-info.class | Bin 0 -> 132 bytes
.../AbstractPhaserecordingSelectionStrategy.class | Bin 0 -> 964 bytes
.../orders/NegativeLiteralSelectionStrategy.class | Bin 0 -> 1202 bytes
.../orders/PhaseCachingAutoEraseStrategy.class | Bin 0 -> 994 bytes
...PhaseInLastLearnedClauseSelectionStrategy.class | Bin 0 -> 1018 bytes
.../orders/PositiveLiteralSelectionStrategy.class | Bin 0 -> 1202 bytes
.../org/sat4j/minisat/orders/PureOrder.class | Bin 0 -> 1461 bytes
...TLastLearnedClausesPhaseSelectionStrategy.class | Bin 0 -> 1093 bytes
.../orders/RSATPhaseSelectionStrategy.class | Bin 0 -> 968 bytes
.../orders/RandomLiteralSelectionStrategy.class | Bin 0 -> 1434 bytes
.../sat4j/minisat/orders/RandomWalkDecorator.class | Bin 0 -> 4137 bytes
.../org/sat4j/minisat/orders/SubsetVarOrder.class | Bin 0 -> 1852 bytes
.../sat4j/minisat/orders/TabuListDecorator.class | Bin 0 -> 3911 bytes
.../orders/UserFixedPhaseSelectionStrategy.class | Bin 0 -> 879 bytes
.../org/sat4j/minisat/orders/ValuedLit.class | Bin 0 -> 1339 bytes
.../org/sat4j/minisat/orders/VarOrderHeap.class | Bin 0 -> 5023 bytes
.../org/sat4j/minisat/orders/package-info.class | Bin 0 -> 130 bytes
.../org/sat4j/minisat/package-info.class | Bin 0 -> 123 bytes
.../org/sat4j/minisat/restarts/ArminRestarts.class | Bin 0 -> 2010 bytes
.../minisat/restarts/FixedPeriodRestarts.class | Bin 0 -> 2082 bytes
.../sat4j/minisat/restarts/Glucose21Restarts.class | Bin 0 -> 2239 bytes
.../org/sat4j/minisat/restarts/LubyRestarts.class | Bin 0 -> 2457 bytes
.../sat4j/minisat/restarts/MiniSATRestarts.class | Bin 0 -> 1846 bytes
.../org/sat4j/minisat/restarts/NoRestarts.class | Bin 0 -> 1453 bytes
.../org/sat4j/minisat/restarts/package-info.class | Bin 0 -> 132 bytes
.../opt/AbstractSelectorVariablesDecorator.class | Bin 0 -> 3063 bytes
.../org/sat4j/opt/MaxSatDecorator.class | Bin 0 -> 3844 bytes
.../org/sat4j/opt/MinOneDecorator.class | Bin 0 -> 3551 bytes
.../org/sat4j/opt/package-info.class | Bin 0 -> 119 bytes
.../org.sat4j.core/org/sat4j/package-info.class | Bin 0 -> 115 bytes
.../org/sat4j/reader/AAGReader.class | Bin 0 -> 3837 bytes
.../org/sat4j/reader/AIGReader.class | Bin 0 -> 4020 bytes
.../org/sat4j/reader/DimacsReader.class | Bin 0 -> 5560 bytes
.../org/sat4j/reader/EfficientScanner.class | Bin 0 -> 3070 bytes
.../org/sat4j/reader/GroupedCNFReader.class | Bin 0 -> 3833 bytes
.../org/sat4j/reader/InstanceReader.class | Bin 0 -> 3430 bytes
.../org/sat4j/reader/JSONReader.class | Bin 0 -> 5745 bytes
.../org/sat4j/reader/LecteurDimacs.class | Bin 0 -> 4060 bytes
.../org/sat4j/reader/ParseFormatException.class | Bin 0 -> 1036 bytes
.../org.sat4j.core/org/sat4j/reader/Reader.class | Bin 0 -> 2815 bytes
.../org/sat4j/reader/package-info.class | Bin 0 -> 122 bytes
.../org/sat4j/specs/ContradictionException.class | Bin 0 -> 822 bytes
.../org.sat4j.core/org/sat4j/specs/IConstr.class | Bin 0 -> 243 bytes
.../org/sat4j/specs/IGroupSolver.class | Bin 0 -> 295 bytes
.../org/sat4j/specs/ILogAble$1.class | Bin 0 -> 626 bytes
.../org.sat4j.core/org/sat4j/specs/ILogAble.class | Bin 0 -> 414 bytes
.../org/sat4j/specs/IOptimizationProblem.class | Bin 0 -> 827 bytes
.../org.sat4j.core/org/sat4j/specs/IProblem.class | Bin 0 -> 766 bytes
.../org.sat4j.core/org/sat4j/specs/ISolver.class | Bin 0 -> 2333 bytes
.../org/sat4j/specs/ISolverService.class | Bin 0 -> 767 bytes
bundles/org.sat4j.core/org/sat4j/specs/IVec.class | Bin 0 -> 1410 bytes
.../org.sat4j.core/org/sat4j/specs/IVecInt.class | Bin 0 -> 904 bytes
.../org/sat4j/specs/IteratorInt.class | Bin 0 -> 164 bytes
bundles/org.sat4j.core/org/sat4j/specs/Lbool.class | Bin 0 -> 843 bytes
.../org/sat4j/specs/RandomAccessModel.class | Bin 0 -> 154 bytes
.../org/sat4j/specs/SearchListener.class | Bin 0 -> 811 bytes
.../org/sat4j/specs/TimeoutException.class | Bin 0 -> 804 bytes
.../org/sat4j/specs/UnitClauseProvider$1.class | Bin 0 -> 605 bytes
.../org/sat4j/specs/UnitClauseProvider.class | Bin 0 -> 489 bytes
.../org/sat4j/specs/UnitPropagationListener.class | Bin 0 -> 237 bytes
.../org/sat4j/specs/package-info.class | Bin 0 -> 121 bytes
.../tools/AbstractClauseSelectorSolver$1.class | Bin 0 -> 2149 bytes
.../tools/AbstractClauseSelectorSolver$2.class | Bin 0 -> 1457 bytes
...bstractClauseSelectorSolver$SelectorState.class | Bin 0 -> 479 bytes
.../sat4j/tools/AbstractClauseSelectorSolver.class | Bin 0 -> 3041 bytes
.../org/sat4j/tools/AbstractMinimalModel.class | Bin 0 -> 2344 bytes
.../org/sat4j/tools/AbstractOutputSolver.class | Bin 0 -> 5479 bytes
.../org.sat4j.core/org/sat4j/tools/AllMUSes.class | Bin 0 -> 7047 bytes
.../org.sat4j.core/org/sat4j/tools/Backbone.class | Bin 0 -> 2343 bytes
.../org/sat4j/tools/CheckMUSSolutionListener.class | Bin 0 -> 3444 bytes
.../tools/ClausalCardinalitiesDecorator.class | Bin 0 -> 2856 bytes
.../org/sat4j/tools/ConflictDepthTracing.class | Bin 0 -> 2093 bytes
.../org/sat4j/tools/ConflictLevelTracing.class | Bin 0 -> 2129 bytes
.../org/sat4j/tools/DecisionLevelTracing.class | Bin 0 -> 1335 bytes
.../org/sat4j/tools/DecisionTracing.class | Bin 0 -> 2147 bytes
.../org/sat4j/tools/DimacsArrayReader.class | Bin 0 -> 1916 bytes
.../org/sat4j/tools/DimacsOutputSolver.class | Bin 0 -> 4493 bytes
.../org/sat4j/tools/DimacsStringSolver.class | Bin 0 -> 4879 bytes
.../org/sat4j/tools/DotSearchTracing.class | Bin 0 -> 6080 bytes
.../sat4j/tools/ExtendedDimacsArrayReader.class | Bin 0 -> 2641 bytes
.../sat4j/tools/FileBasedVisualizationTool.class | Bin 0 -> 1817 bytes
.../org/sat4j/tools/FullClauseSelectorSolver.class | Bin 0 -> 3822 bytes
.../org/sat4j/tools/GateTranslator.class | Bin 0 -> 9468 bytes
.../sat4j/tools/GroupClauseSelectorSolver.class | Bin 0 -> 2972 bytes
.../org/sat4j/tools/HeuristicsTracing.class | Bin 0 -> 1521 bytes
.../org/sat4j/tools/IVisualizationTool.class | Bin 0 -> 490 bytes
.../org/sat4j/tools/LBDTracing.class | Bin 0 -> 1261 bytes
.../org/sat4j/tools/LearnedClauseSizeTracing.class | Bin 0 -> 1198 bytes
.../sat4j/tools/LearnedClausesSizeTracing.class | Bin 0 -> 1888 bytes
.../org/sat4j/tools/LearnedTracing.class | Bin 0 -> 1862 bytes
.../org/sat4j/tools/LexicoDecorator.class | Bin 0 -> 6454 bytes
.../org.sat4j.core/org/sat4j/tools/ManyCore.class | Bin 0 -> 16893 bytes
.../org/sat4j/tools/Minimal4CardinalityModel.class | Bin 0 -> 2584 bytes
.../org/sat4j/tools/Minimal4InclusionModel.class | Bin 0 -> 2480 bytes
.../org/sat4j/tools/ModelIterator.class | Bin 0 -> 2276 bytes
.../sat4j/tools/ModelIteratorToSATAdapter.class | Bin 0 -> 1510 bytes
.../org/sat4j/tools/MultiTracing.class | Bin 0 -> 5127 bytes
.../org/sat4j/tools/NegationDecorator.class | Bin 0 -> 3441 bytes
.../org/sat4j/tools/OptToSatAdapter.class | Bin 0 -> 4198 bytes
.../org/sat4j/tools/OutcomeListener.class | Bin 0 -> 165 bytes
.../org.sat4j.core/org/sat4j/tools/RemiUtils.class | Bin 0 -> 998 bytes
.../org/sat4j/tools/RunnableSolver.class | Bin 0 -> 1108 bytes
.../org/sat4j/tools/RupSearchListener.class | Bin 0 -> 2123 bytes
.../org/sat4j/tools/SearchEnumeratorListener.class | Bin 0 -> 1892 bytes
.../org/sat4j/tools/SearchListenerAdapter.class | Bin 0 -> 2757 bytes
.../org/sat4j/tools/SearchMinOneListener.class | Bin 0 -> 2283 bytes
.../org/sat4j/tools/SingleSolutionDetector.class | Bin 0 -> 1752 bytes
.../org/sat4j/tools/SolutionCounter.class | Bin 0 -> 1362 bytes
.../org/sat4j/tools/SolutionFoundListener$1.class | Bin 0 -> 753 bytes
.../org/sat4j/tools/SolutionFoundListener.class | Bin 0 -> 527 bytes
.../org/sat4j/tools/SolverDecorator.class | Bin 0 -> 9355 bytes
.../org/sat4j/tools/SpeedTracing.class | Bin 0 -> 2352 bytes
.../org/sat4j/tools/StatisticsSolver.class | Bin 0 -> 11111 bytes
.../org/sat4j/tools/TextOutputTracing.class | Bin 0 -> 4286 bytes
.../org/sat4j/tools/encoding/Binary.class | Bin 0 -> 3770 bytes
.../org/sat4j/tools/encoding/Binomial.class | Bin 0 -> 2188 bytes
.../org/sat4j/tools/encoding/Commander.class | Bin 0 -> 2873 bytes
.../sat4j/tools/encoding/EncodingStrategy.class | Bin 0 -> 1682 bytes
.../tools/encoding/EncodingStrategyAdapter.class | Bin 0 -> 2103 bytes
.../org/sat4j/tools/encoding/Ladder.class | Bin 0 -> 3033 bytes
.../org/sat4j/tools/encoding/Policy.class | Bin 0 -> 6390 bytes
.../org/sat4j/tools/encoding/Product.class | Bin 0 -> 5083 bytes
.../org/sat4j/tools/encoding/Sequential.class | Bin 0 -> 2673 bytes
.../org/sat4j/tools/encoding/package-info.class | Bin 0 -> 130 bytes
.../org/sat4j/tools/package-info.class | Bin 0 -> 121 bytes
.../org/sat4j/tools/xplain/DeletionStrategy.class | Bin 0 -> 4950 bytes
.../org/sat4j/tools/xplain/Explainer.class | Bin 0 -> 304 bytes
.../org/sat4j/tools/xplain/HighLevelXplain.class | Bin 0 -> 5492 bytes
.../org/sat4j/tools/xplain/InsertionStrategy.class | Bin 0 -> 4495 bytes
.../sat4j/tools/xplain/MinimizationStrategy.class | Bin 0 -> 528 bytes
.../tools/xplain/QuickXplain2001Strategy.class | Bin 0 -> 4178 bytes
.../sat4j/tools/xplain/QuickXplainStrategy.class | Bin 0 -> 4679 bytes
.../org/sat4j/tools/xplain/Xplain.class | Bin 0 -> 6554 bytes
.../org/sat4j/tools/xplain/package-info.class | Bin 0 -> 128 bytes
bundles/org.sat4j.core/overview.html | 33 ++++++++++++
bundles/org.sat4j.core/plugin.properties | 30 +++++++++++
bundles/org.sat4j.core/pom.xml | 19 +++++++
bundles/org.sat4j.core/sat4j.version | 1 +
bundles/org.sat4j.pb/.project | 22 ++++++++
bundles/org.sat4j.pb/META-INF/MANIFEST.MF | 26 +++++++++
bundles/org.sat4j.pb/about.html | 58 +++++++++++++++++++++
bundles/org.sat4j.pb/build.properties | 6 +++
.../pb/ConstraintRelaxingPseudoOptDecorator.class | Bin 0 -> 4783 bytes
bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class | Bin 0 -> 1091 bytes
.../org/sat4j/pb/IPBSolverService.class | Bin 0 -> 591 bytes
.../org/sat4j/pb/LPStringSolver$1.class | Bin 0 -> 961 bytes
.../org.sat4j.pb/org/sat4j/pb/LPStringSolver.class | Bin 0 -> 10164 bytes
.../org/sat4j/pb/LanceurPseudo2005.class | Bin 0 -> 4837 bytes
.../org/sat4j/pb/LanceurPseudo2007.class | Bin 0 -> 1541 bytes
.../org/sat4j/pb/LanceurPseudo2007Eclipse.class | Bin 0 -> 2900 bytes
.../org/sat4j/pb/OPBStringSolver$1.class | Bin 0 -> 965 bytes
.../org/sat4j/pb/OPBStringSolver.class | Bin 0 -> 8374 bytes
.../org/sat4j/pb/ObjectiveFunction.class | Bin 0 -> 4245 bytes
.../org/sat4j/pb/OptToPBSATAdapter.class | Bin 0 -> 4325 bytes
.../org/sat4j/pb/PBSolverDecorator.class | Bin 0 -> 2841 bytes
.../org/sat4j/pb/PseudoBitsAdderDecorator.class | Bin 0 -> 7167 bytes
.../org/sat4j/pb/PseudoIteratorDecorator.class | Bin 0 -> 1022 bytes
.../org/sat4j/pb/PseudoOptDecorator.class | Bin 0 -> 7206 bytes
.../org.sat4j.pb/org/sat4j/pb/SolverFactory.class | Bin 0 -> 16116 bytes
.../sat4j/pb/UserFriendlyPBStringSolver$1.class | Bin 0 -> 1009 bytes
.../org/sat4j/pb/UserFriendlyPBStringSolver.class | Bin 0 -> 9269 bytes
.../AbstractPBClauseCardConstrDataStructure.class | Bin 0 -> 7557 bytes
.../AbstractPBDataStructureFactory$1.class | Bin 0 -> 2646 bytes
.../AbstractPBDataStructureFactory$2.class | Bin 0 -> 2165 bytes
...bstractPBDataStructureFactory$INormalizer.class | Bin 0 -> 696 bytes
.../AbstractPBDataStructureFactory.class | Bin 0 -> 6708 bytes
.../pb/constraints/AtLeastCardConstructor.class | Bin 0 -> 1593 bytes
.../pb/constraints/AtLeastCardPBConstructor.class | Bin 0 -> 1959 bytes
...mixedClauseCardConstrDataStructureFactory.class | Bin 0 -> 888 bytes
...BLongMixedWLClauseCardConstrDataStructure.class | Bin 0 -> 919 bytes
...BLongMixedHTClauseCardConstrDataStructure.class | Bin 0 -> 910 bytes
...BLongMixedWLClauseCardConstrDataStructure.class | Bin 0 -> 910 bytes
...ionPBMixedHTClauseCardConstrDataStructure.class | Bin 0 -> 894 bytes
...ionPBMixedWLClauseCardConstrDataStructure.class | Bin 0 -> 894 bytes
.../sat4j/pb/constraints/ICardConstructor.class | Bin 0 -> 504 bytes
.../sat4j/pb/constraints/IClauseConstructor.class | Bin 0 -> 423 bytes
.../org/sat4j/pb/constraints/IPBConstructor.class | Bin 0 -> 539 bytes
.../constraints/MaxLongWatchPBCPConstructor.class | Bin 0 -> 2255 bytes
.../pb/constraints/MaxLongWatchPBConstructor.class | Bin 0 -> 2243 bytes
.../pb/constraints/MaxWatchPBConstructor.class | Bin 0 -> 1651 bytes
.../sat4j/pb/constraints/MinCardConstructor.class | Bin 0 -> 1927 bytes
.../pb/constraints/MinCardPBConstructor.class | Bin 0 -> 1945 bytes
.../constraints/MinLongWatchPBCPConstructor.class | Bin 0 -> 2255 bytes
.../pb/constraints/MinLongWatchPBConstructor.class | Bin 0 -> 2243 bytes
.../pb/constraints/MinWatchPBConstructor.class | Bin 0 -> 1651 bytes
.../org/sat4j/pb/constraints/PBContainer.class | Bin 0 -> 556 bytes
.../PBLongMaxClauseCardConstrDataStructure.class | Bin 0 -> 856 bytes
.../PBLongMinClauseCardConstrDataStructure.class | Bin 0 -> 856 bytes
.../PBMaxClauseAtLeastConstrDataStructure.class | Bin 0 -> 851 bytes
.../PBMaxClauseCardConstrDataStructure.class | Bin 0 -> 838 bytes
.../sat4j/pb/constraints/PBMaxDataStructure.class | Bin 0 -> 3538 bytes
.../PBMinClauseCardConstrDataStructure.class | Bin 0 -> 838 bytes
.../sat4j/pb/constraints/PBMinDataStructure.class | Bin 0 -> 3552 bytes
.../constraints/PuebloMinWatchPBConstructor.class | Bin 0 -> 1657 bytes
...ebloPBMinClauseAtLeastConstrDataStructure.class | Bin 0 -> 879 bytes
.../PuebloPBMinClauseCardConstrDataStructure.class | Bin 0 -> 1496 bytes
.../pb/constraints/PuebloPBMinDataStructure.class | Bin 0 -> 3553 bytes
.../UnitBinaryHTClauseConstructor.class | Bin 0 -> 1910 bytes
.../UnitBinaryHTClausePBConstructor.class | Bin 0 -> 1920 bytes
.../UnitBinaryWLClauseConstructor.class | Bin 0 -> 1910 bytes
.../org/sat4j/pb/constraints/package-info.class | Bin 0 -> 130 bytes
.../org/sat4j/pb/constraints/pb/AtLeastPB.class | Bin 0 -> 3603 bytes
.../org/sat4j/pb/constraints/pb/ConflictMap.class | Bin 0 -> 14412 bytes
.../pb/constraints/pb/ConflictMapCardinality.class | Bin 0 -> 494 bytes
.../pb/constraints/pb/ConflictMapClause.class | Bin 0 -> 1600 bytes
.../constraints/pb/ConflictMapSwitchToClause.class | Bin 0 -> 2457 bytes
.../org/sat4j/pb/constraints/pb/IConflict.class | Bin 0 -> 616 bytes
.../sat4j/pb/constraints/pb/IDataStructurePB.class | Bin 0 -> 1118 bytes
.../org/sat4j/pb/constraints/pb/IWatchPb.class | Bin 0 -> 267 bytes
.../pb/constraints/pb/InternalMapPBStructure.class | Bin 0 -> 4130 bytes
.../pb/constraints/pb/LearntBinaryClausePB.class | Bin 0 -> 1259 bytes
.../sat4j/pb/constraints/pb/LearntHTClausePB.class | Bin 0 -> 1922 bytes
.../org/sat4j/pb/constraints/pb/MapPb.class | Bin 0 -> 7724 bytes
.../org/sat4j/pb/constraints/pb/MaxWatchPb.class | Bin 0 -> 5787 bytes
.../sat4j/pb/constraints/pb/MaxWatchPbLong.class | Bin 0 -> 5585 bytes
.../sat4j/pb/constraints/pb/MaxWatchPbLongCP.class | Bin 0 -> 5613 bytes
.../sat4j/pb/constraints/pb/MinWatchCardPB.class | Bin 0 -> 4243 bytes
.../org/sat4j/pb/constraints/pb/MinWatchPb.class | Bin 0 -> 6920 bytes
.../sat4j/pb/constraints/pb/MinWatchPbLong.class | Bin 0 -> 6614 bytes
.../sat4j/pb/constraints/pb/MinWatchPbLongCP.class | Bin 0 -> 6626 bytes
.../pb/constraints/pb/OriginalBinaryClausePB.class | Bin 0 -> 1862 bytes
.../pb/constraints/pb/OriginalHTClausePB.class | Bin 0 -> 1838 bytes
.../org/sat4j/pb/constraints/pb/PBConstr.class | Bin 0 -> 449 bytes
.../org/sat4j/pb/constraints/pb/Pseudos.class | Bin 0 -> 6058 bytes
.../sat4j/pb/constraints/pb/PuebloMinWatchPb.class | Bin 0 -> 3193 bytes
.../org/sat4j/pb/constraints/pb/UnitClausePB.class | Bin 0 -> 1307 bytes
.../sat4j/pb/constraints/pb/UnitClausesPB.class | Bin 0 -> 1237 bytes
.../org/sat4j/pb/constraints/pb/WatchPb.class | Bin 0 -> 10651 bytes
.../sat4j/pb/constraints/pb/WatchPbLong$1.class | Bin 0 -> 1129 bytes
.../org/sat4j/pb/constraints/pb/WatchPbLong.class | Bin 0 -> 11318 bytes
.../sat4j/pb/constraints/pb/WatchPbLongCP.class | Bin 0 -> 11219 bytes
.../org/sat4j/pb/constraints/pb/package-info.class | Bin 0 -> 133 bytes
.../org/sat4j/pb/core/IPBCDCLSolver.class | Bin 0 -> 338 bytes
.../core/ObjectiveReducerPBSolverDecorator.class | Bin 0 -> 13247 bytes
.../org/sat4j/pb/core/PBDataStructureFactory.class | Bin 0 -> 1139 bytes
.../org/sat4j/pb/core/PBSolver$1$1.class | Bin 0 -> 1221 bytes
.../org/sat4j/pb/core/PBSolver$1.class | Bin 0 -> 4309 bytes
.../org.sat4j.pb/org/sat4j/pb/core/PBSolver.class | Bin 0 -> 8896 bytes
.../org/sat4j/pb/core/PBSolverCP.class | Bin 0 -> 6974 bytes
.../org/sat4j/pb/core/PBSolverCautious.class | Bin 0 -> 2979 bytes
.../org/sat4j/pb/core/PBSolverClause.class | Bin 0 -> 1816 bytes
.../org/sat4j/pb/core/PBSolverResCP.class | Bin 0 -> 3232 bytes
.../org/sat4j/pb/core/PBSolverResolution.class | Bin 0 -> 1794 bytes
.../org/sat4j/pb/core/PBSolverStats.class | Bin 0 -> 1613 bytes
.../sat4j/pb/core/PBSolverWithImpliedClause.class | Bin 0 -> 3320 bytes
.../org/sat4j/pb/core/package-info.class | Bin 0 -> 123 bytes
.../org/sat4j/pb/orders/IOrderObjective.class | Bin 0 -> 237 bytes
.../pb/orders/RandomWalkDecoratorObjective.class | Bin 0 -> 933 bytes
.../sat4j/pb/orders/VarOrderHeapObjective.class | Bin 0 -> 2896 bytes
.../org/sat4j/pb/orders/package-info.class | Bin 0 -> 125 bytes
.../org.sat4j.pb/org/sat4j/pb/package-info.class | Bin 0 -> 118 bytes
.../org/sat4j/pb/reader/JSONPBReader.class | Bin 0 -> 4942 bytes
.../org/sat4j/pb/reader/OPBEclipseReader2007.class | Bin 0 -> 1976 bytes
.../org/sat4j/pb/reader/OPBReader2005.class | Bin 0 -> 11947 bytes
.../org/sat4j/pb/reader/OPBReader2006.class | Bin 0 -> 978 bytes
.../org/sat4j/pb/reader/OPBReader2007.class | Bin 0 -> 8130 bytes
.../org/sat4j/pb/reader/OPBReader2010.class | Bin 0 -> 5047 bytes
.../org/sat4j/pb/reader/OPBReader2012.class | Bin 0 -> 2252 bytes
.../org/sat4j/pb/reader/PBInstanceReader.class | Bin 0 -> 1218 bytes
.../org/sat4j/pb/reader/package-info.class | Bin 0 -> 125 bytes
.../org/sat4j/pb/tools/AbstractLexicoHelper.class | Bin 0 -> 4541 bytes
.../pb/tools/ClausalConstraintsDecorator.class | Bin 0 -> 4164 bytes
.../org/sat4j/pb/tools/ConflictTracing.class | Bin 0 -> 1871 bytes
.../org/sat4j/pb/tools/DependencyHelper$1.class | Bin 0 -> 707 bytes
.../org/sat4j/pb/tools/DependencyHelper$2.class | Bin 0 -> 829 bytes
.../sat4j/pb/tools/DependencyHelper$Negation.class | Bin 0 -> 858 bytes
.../org/sat4j/pb/tools/DependencyHelper.class | Bin 0 -> 19725 bytes
.../org/sat4j/pb/tools/DisjunctionRHS.class | Bin 0 -> 2578 bytes
.../org.sat4j.pb/org/sat4j/pb/tools/INegator.class | Bin 0 -> 220 bytes
.../org/sat4j/pb/tools/ImplicationAnd.class | Bin 0 -> 2808 bytes
.../org/sat4j/pb/tools/ImplicationNamer.class | Bin 0 -> 1694 bytes
.../org/sat4j/pb/tools/ImplicationRHS.class | Bin 0 -> 2639 bytes
.../org/sat4j/pb/tools/LexicoDecoratorPB.class | Bin 0 -> 5101 bytes
.../org/sat4j/pb/tools/LexicoHelper.class | Bin 0 -> 1169 bytes
.../org/sat4j/pb/tools/ManyCorePB.class | Bin 0 -> 4037 bytes
.../org/sat4j/pb/tools/PBAdapter.class | Bin 0 -> 2647 bytes
.../sat4j/pb/tools/SearchOptimizerListener.class | Bin 0 -> 3095 bytes
.../pb/tools/SteppedTimeoutLexicoDecoratorPB.class | Bin 0 -> 4438 bytes
.../pb/tools/SteppedTimeoutLexicoHelper.class | Bin 0 -> 1239 bytes
.../org/sat4j/pb/tools/StringNegator.class | Bin 0 -> 914 bytes
.../org/sat4j/pb/tools/WeightedObject.class | Bin 0 -> 2969 bytes
.../org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class | Bin 0 -> 5112 bytes
.../org/sat4j/pb/tools/package-info.class | Bin 0 -> 124 bytes
bundles/org.sat4j.pb/overview.html | 33 ++++++++++++
bundles/org.sat4j.pb/plugin.properties | 30 +++++++++++
bundles/org.sat4j.pb/pom.xml | 19 +++++++
pom.xml | 2 +
406 files changed, 406 insertions(+), 2 deletions(-)
create mode 100644 bundles/org.sat4j.core/.project
create mode 100644 bundles/org.sat4j.core/META-INF/MANIFEST.MF
create mode 100644 bundles/org.sat4j.core/about.html
create mode 100644 bundles/org.sat4j.core/build.properties
create mode 100644 bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/BasicLauncher.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/ExitCode.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/ILauncherMode.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/LightFactory.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/MUSLauncher.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/Messages.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/Vec$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/Vec.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/VecInt$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/VecInt$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/VecInt.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/core/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/messages.properties
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/opt/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/Reader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/reader/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IConstr.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IProblem.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/ISolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IVec.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/Lbool.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/specs/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/Backbone.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/package-info.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.class
create mode 100644 bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.class
create mode 100644 bundles/org.sat4j.core/overview.html
create mode 100644 bundles/org.sat4j.core/plugin.properties
create mode 100644 bundles/org.sat4j.core/pom.xml
create mode 100644 bundles/org.sat4j.core/sat4j.version
create mode 100644 bundles/org.sat4j.pb/.project
create mode 100644 bundles/org.sat4j.pb/META-INF/MANIFEST.MF
create mode 100644 bundles/org.sat4j.pb/about.html
create mode 100644 bundles/org.sat4j.pb/build.properties
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class
create mode 100644 bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.class
create mode 100644 bundles/org.sat4j.pb/overview.html
create mode 100644 bundles/org.sat4j.pb/plugin.properties
create mode 100644 bundles/org.sat4j.pb/pom.xml
diff --git a/bundles/org.eclipse.equinox.p2.director/META-INF/MANIFEST.MF b/bundles/org.eclipse.equinox.p2.director/META-INF/MANIFEST.MF
index e615f0cd8..578f90d2f 100644
--- a/bundles/org.eclipse.equinox.p2.director/META-INF/MANIFEST.MF
+++ b/bundles/org.eclipse.equinox.p2.director/META-INF/MANIFEST.MF
@@ -25,8 +25,8 @@ Export-Package: org.eclipse.equinox.internal.p2.director;
Require-Bundle: org.eclipse.equinox.common;bundle-version="[3.3.0,4.0.0)",
org.eclipse.core.jobs;bundle-version="[3.3.0,4.0.0)",
org.eclipse.equinox.p2.metadata;bundle-version="[2.0.0,3.0.0)",
- org.sat4j.pb;bundle-version="[2.3.4,3.0.0)",
- org.sat4j.core;bundle-version="[2.3.4,3.0.0)"
+ org.sat4j.core;bundle-version="[2.3.5,3.0.0)",
+ org.sat4j.pb;bundle-version="[2.3.5,3.0.0)"
Bundle-RequiredExecutionEnvironment: J2SE-1.5
Bundle-ActivationPolicy: lazy
Service-Component: OSGI-INF/director.xml, OSGI-INF/planner.xml
diff --git a/bundles/org.eclipse.equinox.p2.tests/src/org/eclipse/equinox/p2/tests/planner/AllTests.java b/bundles/org.eclipse.equinox.p2.tests/src/org/eclipse/equinox/p2/tests/planner/AllTests.java
index e3abb7d71..f4196a7b3 100644
--- a/bundles/org.eclipse.equinox.p2.tests/src/org/eclipse/equinox/p2/tests/planner/AllTests.java
+++ b/bundles/org.eclipse.equinox.p2.tests/src/org/eclipse/equinox/p2/tests/planner/AllTests.java
@@ -158,6 +158,7 @@ public class AllTests extends TestCase {
suite.addTestSuite(TestFilteringOnAbsentProperty.class);
suite.addTestSuite(TopLevelFilterTest.class);
suite.addTestSuite(TwoVersionsOfWSDL.class);
+ suite.addTestSuite(TychoUsage.class);
suite.addTestSuite(UninstallEverything.class);
suite.addTestSuite(UpdateForTwoIUs.class);
suite.addTestSuite(UpdateQueryTest.class);
diff --git a/bundles/org.sat4j.core/.project b/bundles/org.sat4j.core/.project
new file mode 100644
index 000000000..9ba042e84
--- /dev/null
+++ b/bundles/org.sat4j.core/.project
@@ -0,0 +1,22 @@
+
+
+ org.sat4j.core
+
+
+
+
+
+ org.eclipse.pde.ManifestBuilder
+
+
+
+
+ org.eclipse.pde.SchemaBuilder
+
+
+
+
+
+ org.eclipse.pde.PluginNature
+
+
diff --git a/bundles/org.sat4j.core/META-INF/MANIFEST.MF b/bundles/org.sat4j.core/META-INF/MANIFEST.MF
new file mode 100644
index 000000000..fe8e47c66
--- /dev/null
+++ b/bundles/org.sat4j.core/META-INF/MANIFEST.MF
@@ -0,0 +1,31 @@
+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
new file mode 100644
index 000000000..d6bb197ad
--- /dev/null
+++ b/bundles/org.sat4j.core/about.html
@@ -0,0 +1,56 @@
+
+
+
+
+About
+
+
+About This Content
+
+June, 2010
+License
+
+The Eclipse Foundation makes available all content in this plug-in ("Content"). Unless otherwise indicated below, the Content is provided to you under 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.
+
+If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party ("Redistributor") and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor’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 http://www.eclipse.org.
+
+Third Party Content
+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’s license for terms and conditions of use.
+SAT4J 2.3.5 SUBSET (Core)
+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.
+Alternatively, the Content may be obtained from the SAT4J project website at http://www.sat4j.org/ 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.
+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 http://www.sat4j.org/
+
+SAT4J includes content that was obtained under licenses that differ from the SAT4J licenses.
+ The content in the following classes
+
+
+ - org/sat4j/core/Vec.java
+ - org/sat4j/core/VecInt.java
+ - org/sat4j/minisat/core/Solver.java
+
+is based on code obtained from the Minisat 1.1.4 implementation, the source code for which can be found at www.minisat.se, under the following permissive license:
+
+ MiniSat -- Copyright (c) 2003-2005, Niklas Een, Niklas Sorensson
+
+ Permission is hereby granted, free of charge, to any person obtaining a
+ copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+ without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+ permit persons to whom the Software is furnished to do so, subject to
+ the following conditions:
+
+ The above copyright notice and this permission notice shall be included
+ in all copies or substantial portions of the Software.
+
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
+ OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+
diff --git a/bundles/org.sat4j.core/build.properties b/bundles/org.sat4j.core/build.properties
new file mode 100644
index 000000000..5e8277990
--- /dev/null
+++ b/bundles/org.sat4j.core/build.properties
@@ -0,0 +1,7 @@
+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
new file mode 100644
index 000000000..5551c4e11
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class
new file mode 100644
index 000000000..81c789fa0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher$2.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class
new file mode 100644
index 000000000..a6f552c51
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/AbstractLauncher.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class b/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class
new file mode 100644
index 000000000..5f708f338
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/AbstractOptimizationLauncher.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class b/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class
new file mode 100644
index 000000000..2cd563f3b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/BasicLauncher.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ExitCode.class b/bundles/org.sat4j.core/org/sat4j/ExitCode.class
new file mode 100644
index 000000000..40cba6e80
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/ExitCode.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class
new file mode 100644
index 000000000..ce2b95f33
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class
new file mode 100644
index 000000000..f06f2c5d7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/ILauncherMode$2.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class b/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class
new file mode 100644
index 000000000..c65f688dd
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/ILauncherMode.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/LightFactory.class b/bundles/org.sat4j.core/org/sat4j/LightFactory.class
new file mode 100644
index 000000000..7c3700dde
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/LightFactory.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class
new file mode 100644
index 000000000..9ec4231f0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class
new file mode 100644
index 000000000..a80850cbf
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/MUSLauncher$2.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class b/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class
new file mode 100644
index 000000000..de9dd866e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/MUSLauncher.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/Messages.class b/bundles/org.sat4j.core/org/sat4j/Messages.class
new file mode 100644
index 000000000..ea3cee496
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/Messages.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class b/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class
new file mode 100644
index 000000000..09c5715ba
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/MoreThanSAT.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class b/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class
new file mode 100644
index 000000000..957932083
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/ASolverFactory.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class b/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class
new file mode 100644
index 000000000..10984cb47
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/ConstrGroup.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class b/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class
new file mode 100644
index 000000000..3a9755bbe
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/DefaultComparator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class b/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class
new file mode 100644
index 000000000..649978f3b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/LiteralsUtils.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class
new file mode 100644
index 000000000..5a6050ad8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVec.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class
new file mode 100644
index 000000000..b51dc7233
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/ReadOnlyVecInt.class 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
new file mode 100644
index 000000000..2bc2ed293
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/Vec$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/Vec.class b/bundles/org.sat4j.core/org/sat4j/core/Vec.class
new file mode 100644
index 000000000..9864d5731
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/Vec.class 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
new file mode 100644
index 000000000..94aab161a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/VecInt$1$1.class 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
new file mode 100644
index 000000000..9250026bc
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/VecInt$1.class 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
new file mode 100644
index 000000000..71f4d304e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/VecInt$2.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/core/VecInt.class b/bundles/org.sat4j.core/org/sat4j/core/VecInt.class
new file mode 100644
index 000000000..d6552952d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/VecInt.class 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
new file mode 100644
index 000000000..674546e3d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/core/package-info.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/messages.properties b/bundles/org.sat4j.core/org/sat4j/messages.properties
new file mode 100644
index 000000000..2b3f0f007
--- /dev/null
+++ b/bundles/org.sat4j.core/org/sat4j/messages.properties
@@ -0,0 +1,8 @@
+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
new file mode 100644
index 000000000..45dc491b5
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/SolverFactory.class 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
new file mode 100644
index 000000000..afde6e400
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class 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
new file mode 100644
index 000000000..fde1f0f5e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.class 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
new file mode 100644
index 000000000..908770444
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructure.class 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
new file mode 100644
index 000000000..e0afa39ce
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class 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
new file mode 100644
index 000000000..99471982a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class 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
new file mode 100644
index 000000000..43ca6a89d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/ClausalDataStructureWL.class 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
new file mode 100644
index 000000000..e4e4109d8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class 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
new file mode 100644
index 000000000..2b0f49dbb
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class 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
new file mode 100644
index 000000000..aa730436b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class 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
new file mode 100644
index 000000000..dd44ae47d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/AtLeast.class 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
new file mode 100644
index 000000000..326f0c0e7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MaxWatchCard.class 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
new file mode 100644
index 000000000..61b89c556
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/MinWatchCard.class 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
new file mode 100644
index 000000000..8279b4c1b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/card/package-info.class 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
new file mode 100644
index 000000000..6d1a38e0b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/BinaryClause.class 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
new file mode 100644
index 000000000..7929bec4a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Clauses.class 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
new file mode 100644
index 000000000..3f67cc193
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/HTClause.class 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
new file mode 100644
index 000000000..ae7086713
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class 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
new file mode 100644
index 000000000..588c83190
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntHTClause.class 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
new file mode 100644
index 000000000..74a17bd36
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/LearntWLClause.class 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
new file mode 100644
index 000000000..811716d9c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/Lits.class 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
new file mode 100644
index 000000000..dc129915b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class 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
new file mode 100644
index 000000000..e17d4dd6f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.class 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
new file mode 100644
index 000000000..46c6e0851
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.class 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
new file mode 100644
index 000000000..2cef0bcfb
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClause.class 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
new file mode 100644
index 000000000..bf74bc81d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/UnitClauses.class 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
new file mode 100644
index 000000000..91dfb3d44
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/WLClause.class 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
new file mode 100644
index 000000000..b0c74619c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/cnf/package-info.class 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
new file mode 100644
index 000000000..7e1532d58
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/constraints/package-info.class 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
new file mode 100644
index 000000000..4252b26bb
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityComparator.class 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
new file mode 100644
index 000000000..706c35e0d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ActivityListener.class 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
new file mode 100644
index 000000000..194b53ac1
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/CircularBuffer.class 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
new file mode 100644
index 000000000..3563a5c55
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimer.class 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
new file mode 100644
index 000000000..f54155d04
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerAdapter.class 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
new file mode 100644
index 000000000..f91db67c4
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConflictTimerContainer.class 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
new file mode 100644
index 000000000..0019a54c0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Constr.class 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
new file mode 100644
index 000000000..cbd46ea46
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ConstrActivityListener.class 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
new file mode 100644
index 000000000..b48ccc1d6
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Counter.class 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
new file mode 100644
index 000000000..e1e4d6322
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/DataStructureFactory.class 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
new file mode 100644
index 000000000..ef7aa618d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Heap.class 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
new file mode 100644
index 000000000..2fc380345
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ICDCL.class 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
new file mode 100644
index 000000000..b486c5384
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ILits.class 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
new file mode 100644
index 000000000..495e1280e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/IOrder.class 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
new file mode 100644
index 000000000..59ece9183
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/IPhaseSelectionStrategy.class 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
new file mode 100644
index 000000000..2f28446cb
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/ISimplifier.class 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
new file mode 100644
index 000000000..84c154308
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/IntQueue.class 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
new file mode 100644
index 000000000..70fead3ff
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class 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
new file mode 100644
index 000000000..0bcbd861e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class 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
new file mode 100644
index 000000000..5d2b6227f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Learner.class 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
new file mode 100644
index 000000000..24273f2ee
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/LearningStrategy.class 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
new file mode 100644
index 000000000..9f3129580
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Pair.class 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
new file mode 100644
index 000000000..ad2ed638d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Propagatable.class 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
new file mode 100644
index 000000000..a4896136e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/RestartStrategy.class 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
new file mode 100644
index 000000000..91ad12880
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/SearchParams.class 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
new file mode 100644
index 000000000..65a96d290
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/SimplificationType.class 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
new file mode 100644
index 000000000..9a4c84aa0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$1.class 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
new file mode 100644
index 000000000..a964baa2e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$10.class 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
new file mode 100644
index 000000000..2ab3e6d3d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$11.class 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
new file mode 100644
index 000000000..cd8dd6234
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$2.class 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
new file mode 100644
index 000000000..e71440cea
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$3.class 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
new file mode 100644
index 000000000..c4846babd
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$4.class 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
new file mode 100644
index 000000000..83ad2edd7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$5.class 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
new file mode 100644
index 000000000..a128779f1
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$6.class 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
new file mode 100644
index 000000000..2b1b24242
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$7.class 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
new file mode 100644
index 000000000..038824ab2
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8$1.class 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
new file mode 100644
index 000000000..6fe0cc599
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$8.class 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
new file mode 100644
index 000000000..66287e189
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$9.class 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
new file mode 100644
index 000000000..78c1e626e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$Glucose2LCDS.class 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
new file mode 100644
index 000000000..400ff41b8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver$GlucoseLCDS.class 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
new file mode 100644
index 000000000..4026af54e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Solver.class 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
new file mode 100644
index 000000000..5bcce0296
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/SolverStats.class 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
new file mode 100644
index 000000000..5deb28f34
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/Undoable.class 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
new file mode 100644
index 000000000..a3e270727
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/VarActivityListener.class 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
new file mode 100644
index 000000000..6b6b02d31
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/VoidTracing.class 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
new file mode 100644
index 000000000..ba3e480aa
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/core/package-info.class 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
new file mode 100644
index 000000000..6709fdc76
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/AbstractLearning.class 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
new file mode 100644
index 000000000..98e9fadaa
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/ActiveLearning.class 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
new file mode 100644
index 000000000..0a632ad35
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/ClauseOnlyLearning.class 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
new file mode 100644
index 000000000..380cc3012
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/FixedLengthLearning.class 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
new file mode 100644
index 000000000..1dbafb69f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/LimitedLearning.class 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
new file mode 100644
index 000000000..a0d0b2e0a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/MiniSATLearning.class 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
new file mode 100644
index 000000000..6019830b3
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningButHeuristics.class 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
new file mode 100644
index 000000000..461667f46
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/NoLearningNoHeuristics.class 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
new file mode 100644
index 000000000..48b723963
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/PercentLengthLearning.class 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
new file mode 100644
index 000000000..1c7a10f93
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/learning/package-info.class 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
new file mode 100644
index 000000000..dd21a3b00
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class 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
new file mode 100644
index 000000000..23310f196
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class 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
new file mode 100644
index 000000000..88f83b8a4
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class 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
new file mode 100644
index 000000000..cdcdada40
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class 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
new file mode 100644
index 000000000..55f66223f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class 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
new file mode 100644
index 000000000..bee2808b3
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/PureOrder.class 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
new file mode 100644
index 000000000..fa84a6764
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class 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
new file mode 100644
index 000000000..dcffe28e8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class 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
new file mode 100644
index 000000000..d751fb21b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class 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
new file mode 100644
index 000000000..062e5fbb4
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/RandomWalkDecorator.class 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
new file mode 100644
index 000000000..81f81973d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/SubsetVarOrder.class 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
new file mode 100644
index 000000000..3253a3340
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/TabuListDecorator.class 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
new file mode 100644
index 000000000..b44f0117a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class 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
new file mode 100644
index 000000000..294f75c42
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/ValuedLit.class 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
new file mode 100644
index 000000000..eeab986cc
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/VarOrderHeap.class 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
new file mode 100644
index 000000000..249a8268c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/orders/package-info.class 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
new file mode 100644
index 000000000..6ee15c498
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/package-info.class 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
new file mode 100644
index 000000000..ae30562a0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/ArminRestarts.class 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
new file mode 100644
index 000000000..5e6f4e8ae
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/FixedPeriodRestarts.class 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
new file mode 100644
index 000000000..1972a2fea
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/Glucose21Restarts.class 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
new file mode 100644
index 000000000..9e080d30a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/LubyRestarts.class 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
new file mode 100644
index 000000000..abe4f03ee
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/MiniSATRestarts.class 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
new file mode 100644
index 000000000..f3db93cde
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/NoRestarts.class 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
new file mode 100644
index 000000000..e5d9e3233
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/minisat/restarts/package-info.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class
new file mode 100644
index 000000000..eb671de0e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/opt/AbstractSelectorVariablesDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class
new file mode 100644
index 000000000..91da1ed6a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/opt/MaxSatDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class b/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class
new file mode 100644
index 000000000..7d9cb3309
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/opt/MinOneDecorator.class 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
new file mode 100644
index 000000000..76068116e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/opt/package-info.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/package-info.class b/bundles/org.sat4j.core/org/sat4j/package-info.class
new file mode 100644
index 000000000..53e3d7659
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/package-info.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class b/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class
new file mode 100644
index 000000000..5db9e218d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/AAGReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class b/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class
new file mode 100644
index 000000000..3b630048a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/AIGReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class b/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class
new file mode 100644
index 000000000..f87c6d95c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/DimacsReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class b/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class
new file mode 100644
index 000000000..f74ac5763
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/EfficientScanner.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class b/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class
new file mode 100644
index 000000000..edaecb148
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/GroupedCNFReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class b/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class
new file mode 100644
index 000000000..d8d90c0d9
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/InstanceReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class b/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class
new file mode 100644
index 000000000..bf01eae27
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/JSONReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class b/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class
new file mode 100644
index 000000000..cfe7771df
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/LecteurDimacs.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class b/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class
new file mode 100644
index 000000000..82df9c690
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/ParseFormatException.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/reader/Reader.class b/bundles/org.sat4j.core/org/sat4j/reader/Reader.class
new file mode 100644
index 000000000..a11b8cc43
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/Reader.class 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
new file mode 100644
index 000000000..7b9a7b829
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/reader/package-info.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class b/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class
new file mode 100644
index 000000000..9301a2e27
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/ContradictionException.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class b/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class
new file mode 100644
index 000000000..35a60881e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IConstr.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class b/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class
new file mode 100644
index 000000000..34b65531d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IGroupSolver.class 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
new file mode 100644
index 000000000..d869e29c5
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/ILogAble$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class b/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class
new file mode 100644
index 000000000..e31aa339a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/ILogAble.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class b/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class
new file mode 100644
index 000000000..8afa3fc8f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IOptimizationProblem.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class b/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class
new file mode 100644
index 000000000..890fd4b91
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IProblem.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class b/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class
new file mode 100644
index 000000000..cc36fc3dd
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/ISolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class b/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class
new file mode 100644
index 000000000..a1a556382
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/ISolverService.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IVec.class b/bundles/org.sat4j.core/org/sat4j/specs/IVec.class
new file mode 100644
index 000000000..2dd5eeb14
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IVec.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class b/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class
new file mode 100644
index 000000000..d792dc769
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IVecInt.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class b/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class
new file mode 100644
index 000000000..2d5bfb0f6
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/IteratorInt.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class b/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class
new file mode 100644
index 000000000..663f30f03
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/Lbool.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class b/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class
new file mode 100644
index 000000000..0e2bdf027
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/RandomAccessModel.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class b/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class
new file mode 100644
index 000000000..4d798c8b9
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/SearchListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class b/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class
new file mode 100644
index 000000000..ad3d62ec8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/TimeoutException.class 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
new file mode 100644
index 000000000..dacfef2aa
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class b/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class
new file mode 100644
index 000000000..59b278d1e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/UnitClauseProvider.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class b/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class
new file mode 100644
index 000000000..8f90147ca
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/UnitPropagationListener.class 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
new file mode 100644
index 000000000..7e94cac7d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/specs/package-info.class 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
new file mode 100644
index 000000000..ea5d23527
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$1.class 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
new file mode 100644
index 000000000..61c262605
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$2.class 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
new file mode 100644
index 000000000..d326c10dc
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class
new file mode 100644
index 000000000..11a544099
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractClauseSelectorSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class
new file mode 100644
index 000000000..22e491c83
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractMinimalModel.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class
new file mode 100644
index 000000000..21eb46ae0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AbstractOutputSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class b/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class
new file mode 100644
index 000000000..3f2830151
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/AllMUSes.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class b/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class
new file mode 100644
index 000000000..00d8e9dc5
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/Backbone.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class b/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class
new file mode 100644
index 000000000..af30685a1
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/CheckMUSSolutionListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class
new file mode 100644
index 000000000..3c782af53
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ClausalCardinalitiesDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class
new file mode 100644
index 000000000..fafd644f7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ConflictDepthTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class
new file mode 100644
index 000000000..1a960d08e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ConflictLevelTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class
new file mode 100644
index 000000000..823b0bd02
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DecisionLevelTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class
new file mode 100644
index 000000000..9d711a078
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DecisionTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class
new file mode 100644
index 000000000..31a9778b4
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DimacsArrayReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class
new file mode 100644
index 000000000..f056b9f9c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DimacsOutputSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class
new file mode 100644
index 000000000..239b5f279
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DimacsStringSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class
new file mode 100644
index 000000000..24d0bad08
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/DotSearchTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class b/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class
new file mode 100644
index 000000000..a12432c4e
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ExtendedDimacsArrayReader.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class b/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class
new file mode 100644
index 000000000..db66956aa
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/FileBasedVisualizationTool.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class
new file mode 100644
index 000000000..69e4f59d3
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/FullClauseSelectorSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class b/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class
new file mode 100644
index 000000000..c023446a6
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/GateTranslator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class
new file mode 100644
index 000000000..079dda764
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/GroupClauseSelectorSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class
new file mode 100644
index 000000000..bcf139f56
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/HeuristicsTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class b/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class
new file mode 100644
index 000000000..98a3d7daa
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/IVisualizationTool.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class
new file mode 100644
index 000000000..7f0a40f7f
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/LBDTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class
new file mode 100644
index 000000000..cdab61640
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClauseSizeTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class
new file mode 100644
index 000000000..2dab368b1
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/LearnedClausesSizeTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class
new file mode 100644
index 000000000..e7f664d1d
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/LearnedTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class
new file mode 100644
index 000000000..a82eb7f34
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/LexicoDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class b/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class
new file mode 100644
index 000000000..0a015ad3c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ManyCore.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class
new file mode 100644
index 000000000..e1ad175ee
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4CardinalityModel.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class
new file mode 100644
index 000000000..1a6c9291a
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/Minimal4InclusionModel.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class b/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class
new file mode 100644
index 000000000..5ad039267
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ModelIterator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class
new file mode 100644
index 000000000..a0f926d56
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/ModelIteratorToSATAdapter.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class
new file mode 100644
index 000000000..a879f7790
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/MultiTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class
new file mode 100644
index 000000000..444a6ed49
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/NegationDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class
new file mode 100644
index 000000000..660d7695c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/OptToSatAdapter.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class b/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class
new file mode 100644
index 000000000..ac99f41e9
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/OutcomeListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class b/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class
new file mode 100644
index 000000000..c1f5f42f2
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/RemiUtils.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class
new file mode 100644
index 000000000..02bd05a08
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/RunnableSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class b/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class
new file mode 100644
index 000000000..7e43402ba
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/RupSearchListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class
new file mode 100644
index 000000000..32abe9fa5
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SearchEnumeratorListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class
new file mode 100644
index 000000000..b5b15da07
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SearchListenerAdapter.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class
new file mode 100644
index 000000000..8afccfa49
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SearchMinOneListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class b/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class
new file mode 100644
index 000000000..d40c48259
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SingleSolutionDetector.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class b/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class
new file mode 100644
index 000000000..08ce097f8
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SolutionCounter.class 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
new file mode 100644
index 000000000..c2be28923
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener$1.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class b/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class
new file mode 100644
index 000000000..3d5e06021
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SolutionFoundListener.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class b/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class
new file mode 100644
index 000000000..3a5b667ed
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SolverDecorator.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class
new file mode 100644
index 000000000..de4e7a288
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/SpeedTracing.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class b/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class
new file mode 100644
index 000000000..bba9a052b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/StatisticsSolver.class differ
diff --git a/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class b/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class
new file mode 100644
index 000000000..e9097b818
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/TextOutputTracing.class 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
new file mode 100644
index 000000000..261a115d1
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binary.class 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
new file mode 100644
index 000000000..fbf8947f7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Binomial.class 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
new file mode 100644
index 000000000..0414fb856
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Commander.class 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
new file mode 100644
index 000000000..94d5fcd49
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategy.class 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
new file mode 100644
index 000000000..d4ccb04a7
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/EncodingStrategyAdapter.class 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
new file mode 100644
index 000000000..ea5651c10
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Ladder.class 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
new file mode 100644
index 000000000..a568e3e8c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Policy.class 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
new file mode 100644
index 000000000..749938c66
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Product.class 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
new file mode 100644
index 000000000..0639aa72b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/Sequential.class 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
new file mode 100644
index 000000000..0601a87ad
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/encoding/package-info.class 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
new file mode 100644
index 000000000..5ba7b529b
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/package-info.class 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
new file mode 100644
index 000000000..597639f83
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/DeletionStrategy.class 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
new file mode 100644
index 000000000..803c51bc0
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/Explainer.class 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
new file mode 100644
index 000000000..20180d2a5
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/HighLevelXplain.class 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
new file mode 100644
index 000000000..5a1f17cc9
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/InsertionStrategy.class 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
new file mode 100644
index 000000000..7d7c27ee2
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/MinimizationStrategy.class 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
new file mode 100644
index 000000000..9654c8530
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplain2001Strategy.class 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
new file mode 100644
index 000000000..dd055e7e3
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/QuickXplainStrategy.class 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
new file mode 100644
index 000000000..976ed690c
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/Xplain.class 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
new file mode 100644
index 000000000..871f53c25
Binary files /dev/null and b/bundles/org.sat4j.core/org/sat4j/tools/xplain/package-info.class differ
diff --git a/bundles/org.sat4j.core/overview.html b/bundles/org.sat4j.core/overview.html
new file mode 100644
index 000000000..0fd295811
--- /dev/null
+++ b/bundles/org.sat4j.core/overview.html
@@ -0,0 +1,33 @@
+
+SAT4J: a SATisfiability library for Java.
+
+
+/*******************************************************************************
+* 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++.
+*
+*******************************************************************************/
+
+
\ No newline at end of file
diff --git a/bundles/org.sat4j.core/plugin.properties b/bundles/org.sat4j.core/plugin.properties
new file mode 100644
index 000000000..7bf95acda
--- /dev/null
+++ b/bundles/org.sat4j.core/plugin.properties
@@ -0,0 +1,30 @@
+###############################################################################
+# 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
new file mode 100644
index 000000000..11ef36170
--- /dev/null
+++ b/bundles/org.sat4j.core/pom.xml
@@ -0,0 +1,19 @@
+
+
+ 4.0.0
+
+
+ org.eclipse.equinox.p2-parent
+ org.eclipse
+ 4.3.0-SNAPSHOT
+ ../../org.eclipse.equinox.p2.releng/org.eclipse.equinox.p2-parent
+
+
+ org.eclipse.orbit
+ org.sat4j.core
+ 2.3.5.v20130525
+ eclipse-plugin
+
+
diff --git a/bundles/org.sat4j.core/sat4j.version b/bundles/org.sat4j.core/sat4j.version
new file mode 100644
index 000000000..9927eb7ee
--- /dev/null
+++ b/bundles/org.sat4j.core/sat4j.version
@@ -0,0 +1 @@
+2.3.5.v20130525
diff --git a/bundles/org.sat4j.pb/.project b/bundles/org.sat4j.pb/.project
new file mode 100644
index 000000000..0f4af2711
--- /dev/null
+++ b/bundles/org.sat4j.pb/.project
@@ -0,0 +1,22 @@
+
+
+ org.sat4j.pb
+
+
+
+
+
+ org.eclipse.pde.ManifestBuilder
+
+
+
+
+ org.eclipse.pde.SchemaBuilder
+
+
+
+
+
+ org.eclipse.pde.PluginNature
+
+
diff --git a/bundles/org.sat4j.pb/META-INF/MANIFEST.MF b/bundles/org.sat4j.pb/META-INF/MANIFEST.MF
new file mode 100644
index 000000000..32bd2ee0a
--- /dev/null
+++ b/bundles/org.sat4j.pb/META-INF/MANIFEST.MF
@@ -0,0 +1,26 @@
+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
new file mode 100644
index 000000000..07b5d1518
--- /dev/null
+++ b/bundles/org.sat4j.pb/about.html
@@ -0,0 +1,58 @@
+
+
+
+
+About
+
+
+About This Content
+
+June, 2010
+License
+
+The Eclipse Foundation makes available all content in this plug-in ("Content"). Unless otherwise indicated below, the Content is provided to you under 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.
+
+If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party ("Redistributor") and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor’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 http://www.eclipse.org.
+
+Third Party Content
+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’s license for terms and conditions of use.
+SAT4J 2.3.5 SUBSET (Pseudo)
+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.
+Alternatively, the Content may be obtained from the SAT4J project website at http://www.sat4j.org/ 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.
+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 http://www.sat4j.org/
+
+SAT4J includes content that was obtained under licenses that differ from the SAT4J licenses.
+ The content in the following classes
+
+
+ - org/sat4j/pb/reader/OPBReader2005.java
+ - org/sat4j/pb/reader/OPBReader2007.java
+
+is based on a parser for pseudo-Boolean instances (the "Official" reader for the Pseudo Boolean evaluation 2005) and was obtained from
+
under the following permissive license:
+
+
+ Copyright (c) 2005-2007 Olivier ROUSSEL and Vasco MANQUINHO
+
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.
+
+
+
diff --git a/bundles/org.sat4j.pb/build.properties b/bundles/org.sat4j.pb/build.properties
new file mode 100644
index 000000000..f9ff67106
--- /dev/null
+++ b/bundles/org.sat4j.pb/build.properties
@@ -0,0 +1,6 @@
+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
new file mode 100644
index 000000000..bc07ed451
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class
new file mode 100644
index 000000000..6de0d6442
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolver.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class
new file mode 100644
index 000000000..84c32dfc8
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/IPBSolverService.class 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
new file mode 100644
index 000000000..09f6064a1
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver$1.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class
new file mode 100644
index 000000000..31c28c01c
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/LPStringSolver.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class
new file mode 100644
index 000000000..6e0544de6
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2005.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class
new file mode 100644
index 000000000..dc78e4b04
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class
new file mode 100644
index 000000000..f1eba5443
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/LanceurPseudo2007Eclipse.class 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
new file mode 100644
index 000000000..f5533332f
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver$1.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class
new file mode 100644
index 000000000..9f4b4d133
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/OPBStringSolver.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class b/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class
new file mode 100644
index 000000000..a8166c530
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/ObjectiveFunction.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class b/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class
new file mode 100644
index 000000000..e9cadb8c7
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/OptToPBSATAdapter.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class
new file mode 100644
index 000000000..c4ee959b7
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/PBSolverDecorator.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class
new file mode 100644
index 000000000..9f041c968
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoBitsAdderDecorator.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class
new file mode 100644
index 000000000..a1c131098
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoIteratorDecorator.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class
new file mode 100644
index 000000000..fa3dd9000
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/PseudoOptDecorator.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class b/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class
new file mode 100644
index 000000000..169ef511f
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/SolverFactory.class 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
new file mode 100644
index 000000000..7479f910d
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver$1.class differ
diff --git a/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class b/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class
new file mode 100644
index 000000000..547f898cd
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class 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
new file mode 100644
index 000000000..9d233a83b
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..20d373e48
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class 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
new file mode 100644
index 000000000..ccb1d1dd4
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class 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
new file mode 100644
index 000000000..f516fc1ca
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class 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
new file mode 100644
index 000000000..38df5bdba
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class 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
new file mode 100644
index 000000000..bba3aec59
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardConstructor.class 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
new file mode 100644
index 000000000..6c4cba2ba
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/AtLeastCardPBConstructor.class 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
new file mode 100644
index 000000000..f83e8c6ca
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class 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
new file mode 100644
index 000000000..72a6b7a49
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..64f4425c9
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..99af0ae31
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..d05e87d17
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..70d17028e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..80869320e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/ICardConstructor.class 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
new file mode 100644
index 000000000..ab28df06c
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IClauseConstructor.class 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
new file mode 100644
index 000000000..a172c1ae1
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/IPBConstructor.class 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
new file mode 100644
index 000000000..7bc02b46e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class 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
new file mode 100644
index 000000000..4ba2ae431
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class 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
new file mode 100644
index 000000000..942080f99
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MaxWatchPBConstructor.class 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
new file mode 100644
index 000000000..1990fff16
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardConstructor.class 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
new file mode 100644
index 000000000..96f5b37ce
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinCardPBConstructor.class 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
new file mode 100644
index 000000000..f2b7490e0
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class 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
new file mode 100644
index 000000000..4571a8331
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinLongWatchPBConstructor.class 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
new file mode 100644
index 000000000..73d5436d6
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/MinWatchPBConstructor.class 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
new file mode 100644
index 000000000..b017aeaac
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBContainer.class 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
new file mode 100644
index 000000000..d1cba5197
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..527375d02
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..c53ab61c9
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class 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
new file mode 100644
index 000000000..5be244a1e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..98e4b0d26
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMaxDataStructure.class 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
new file mode 100644
index 000000000..7aab89db2
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..41e5e7730
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PBMinDataStructure.class 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
new file mode 100644
index 000000000..bc898f989
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class 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
new file mode 100644
index 000000000..f16fd1774
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class 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
new file mode 100644
index 000000000..f55aaad45
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class 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
new file mode 100644
index 000000000..e0974efb8
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.class 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
new file mode 100644
index 000000000..cbb9c7d24
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class 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
new file mode 100644
index 000000000..4ddfa6570
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class 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
new file mode 100644
index 000000000..7fe4fcbf9
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class 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
new file mode 100644
index 000000000..4946ab3a7
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/package-info.class 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
new file mode 100644
index 000000000..c8c08a5a1
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/AtLeastPB.class 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
new file mode 100644
index 000000000..6a5a01caa
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMap.class 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
new file mode 100644
index 000000000..0a08e6cf9
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.class 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
new file mode 100644
index 000000000..d3a76f924
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapClause.class 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
new file mode 100644
index 000000000..3230b91e4
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class 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
new file mode 100644
index 000000000..5c30f10df
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IConflict.class 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
new file mode 100644
index 000000000..c0469b573
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IDataStructurePB.class 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
new file mode 100644
index 000000000..90e45532b
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/IWatchPb.class 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
new file mode 100644
index 000000000..3651c7858
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.class 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
new file mode 100644
index 000000000..4e4cdae71
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class 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
new file mode 100644
index 000000000..0ba5b613f
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.class 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
new file mode 100644
index 000000000..2dc30f528
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MapPb.class 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
new file mode 100644
index 000000000..096ff6003
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPb.class 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
new file mode 100644
index 000000000..ad5c878ff
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.class 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
new file mode 100644
index 000000000..11fcfc732
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class 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
new file mode 100644
index 000000000..384fccfa6
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.class 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
new file mode 100644
index 000000000..23d6d11aa
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPb.class 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
new file mode 100644
index 000000000..6e29aada4
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.class 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
new file mode 100644
index 000000000..261d36c9c
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class 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
new file mode 100644
index 000000000..0a683f87d
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class 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
new file mode 100644
index 000000000..9f463d19c
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.class 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
new file mode 100644
index 000000000..d6c8c42f7
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PBConstr.class 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
new file mode 100644
index 000000000..e9784a7f3
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/Pseudos.class 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
new file mode 100644
index 000000000..d32c79732
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class 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
new file mode 100644
index 000000000..ec471fd30
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausePB.class 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
new file mode 100644
index 000000000..85b784152
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/UnitClausesPB.class 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
new file mode 100644
index 000000000..02045e840
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPb.class 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
new file mode 100644
index 000000000..f8c87a37e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong$1.class 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
new file mode 100644
index 000000000..c86e2f94b
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLong.class 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
new file mode 100644
index 000000000..349dcf326
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/WatchPbLongCP.class 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
new file mode 100644
index 000000000..73f9e5ba9
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/constraints/pb/package-info.class 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
new file mode 100644
index 000000000..b53da826b
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/IPBCDCLSolver.class 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
new file mode 100644
index 000000000..a3ab059ca
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class 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
new file mode 100644
index 000000000..43cc7827a
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBDataStructureFactory.class 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
new file mode 100644
index 000000000..c9f8cdd44
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1$1.class 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
new file mode 100644
index 000000000..5a3aff735
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver$1.class 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
new file mode 100644
index 000000000..cd362083d
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolver.class 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
new file mode 100644
index 000000000..7d79df129
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCP.class 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
new file mode 100644
index 000000000..df623db83
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverCautious.class 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
new file mode 100644
index 000000000..f347e6541
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverClause.class 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
new file mode 100644
index 000000000..d1f58fea0
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResCP.class 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
new file mode 100644
index 000000000..7b4fa34b3
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverResolution.class 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
new file mode 100644
index 000000000..7353ca6a7
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverStats.class 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
new file mode 100644
index 000000000..d9978ba41
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/PBSolverWithImpliedClause.class 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
new file mode 100644
index 000000000..d1f8a8306
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/core/package-info.class 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
new file mode 100644
index 000000000..4149c0745
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/orders/IOrderObjective.class 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
new file mode 100644
index 000000000..c6e1fbd27
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/orders/RandomWalkDecoratorObjective.class 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
new file mode 100644
index 000000000..33542d767
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/orders/VarOrderHeapObjective.class 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
new file mode 100644
index 000000000..48f4fac17
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/orders/package-info.class 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
new file mode 100644
index 000000000..b776f1888
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/package-info.class 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
new file mode 100644
index 000000000..40e4f6a19
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/JSONPBReader.class 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
new file mode 100644
index 000000000..35403abbe
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBEclipseReader2007.class 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
new file mode 100644
index 000000000..a285f62b4
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2005.class 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
new file mode 100644
index 000000000..d472e81db
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2006.class 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
new file mode 100644
index 000000000..a493fa678
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2007.class 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
new file mode 100644
index 000000000..e6d1ea956
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2010.class 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
new file mode 100644
index 000000000..6accec41a
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/OPBReader2012.class 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
new file mode 100644
index 000000000..64632e303
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/PBInstanceReader.class 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
new file mode 100644
index 000000000..95077c5e6
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/reader/package-info.class 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
new file mode 100644
index 000000000..8ea4c1428
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/AbstractLexicoHelper.class 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
new file mode 100644
index 000000000..8777d5dd5
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ClausalConstraintsDecorator.class 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
new file mode 100644
index 000000000..7b16ba795
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ConflictTracing.class 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
new file mode 100644
index 000000000..6c3319b27
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$1.class 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
new file mode 100644
index 000000000..8d72a6812
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$2.class 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
new file mode 100644
index 000000000..cfa5c1b5b
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper$Negation.class 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
new file mode 100644
index 000000000..e6eaf462a
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DependencyHelper.class 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
new file mode 100644
index 000000000..5c03a298a
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/DisjunctionRHS.class 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
new file mode 100644
index 000000000..7ec27ed07
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/INegator.class 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
new file mode 100644
index 000000000..7f95c59e1
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationAnd.class 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
new file mode 100644
index 000000000..b7f6b4425
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationNamer.class 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
new file mode 100644
index 000000000..12d82fd0e
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ImplicationRHS.class 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
new file mode 100644
index 000000000..da3e5a9d2
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoDecoratorPB.class 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
new file mode 100644
index 000000000..4750846ca
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/LexicoHelper.class 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
new file mode 100644
index 000000000..9ce60e7c3
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/ManyCorePB.class 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
new file mode 100644
index 000000000..f96a102ae
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/PBAdapter.class 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
new file mode 100644
index 000000000..8c72176e4
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SearchOptimizerListener.class 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
new file mode 100644
index 000000000..954e6c076
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class 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
new file mode 100644
index 000000000..7e38b30f1
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class 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
new file mode 100644
index 000000000..01f498ad2
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/StringNegator.class 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
new file mode 100644
index 000000000..a5b91baaa
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/WeightedObject.class 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
new file mode 100644
index 000000000..dc6a81c9f
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/XplainPB.class 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
new file mode 100644
index 000000000..b497c32c5
Binary files /dev/null and b/bundles/org.sat4j.pb/org/sat4j/pb/tools/package-info.class differ
diff --git a/bundles/org.sat4j.pb/overview.html b/bundles/org.sat4j.pb/overview.html
new file mode 100644
index 000000000..0fd295811
--- /dev/null
+++ b/bundles/org.sat4j.pb/overview.html
@@ -0,0 +1,33 @@
+
+SAT4J: a SATisfiability library for Java.
+
+
+/*******************************************************************************
+* 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++.
+*
+*******************************************************************************/
+
+
\ No newline at end of file
diff --git a/bundles/org.sat4j.pb/plugin.properties b/bundles/org.sat4j.pb/plugin.properties
new file mode 100644
index 000000000..695b09e97
--- /dev/null
+++ b/bundles/org.sat4j.pb/plugin.properties
@@ -0,0 +1,30 @@
+###############################################################################
+# 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
new file mode 100644
index 000000000..dea5dfb19
--- /dev/null
+++ b/bundles/org.sat4j.pb/pom.xml
@@ -0,0 +1,19 @@
+
+
+ 4.0.0
+
+
+ org.eclipse.equinox.p2-parent
+ org.eclipse
+ 4.3.0-SNAPSHOT
+ ../../org.eclipse.equinox.p2.releng/org.eclipse.equinox.p2-parent
+
+
+ org.eclipse.orbit
+ org.sat4j.pb
+ 2.3.5.v20130525
+ eclipse-plugin
+
+
diff --git a/pom.xml b/pom.xml
index 296745ba8..ba3f6d7d2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -25,6 +25,8 @@
pom
+ bundles/org.sat4j.core
+ bundles/org.sat4j.pb
bundles/ie.wombat.jbdiff
bundles/ie.wombat.jbdiff.test
bundles/org.eclipse.equinox.frameworkadmin
--
cgit v1.2.3