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
+ +

+

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
+ +

+

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