# Added bundles
ADDED#org.eclipse.equinox.io
ADDED#org.eclipse.equinox.p2.publisher.eclipse
ADDED#org.eclipse.equinox.p2.ui.importexport
# 341075
org.eclipse.core.resources:org.eclipse.core.resources.ResourcesPlugin#PREF_LIGHTWEIGHT_AUTO_REFRESH
# 337016
org.eclipse.equinox.p2.operations:org.eclipse.equinox.p2.operations.OperationFactory
org.eclipse.equinox.p2.operations:org.eclipse.equinox.p2.operations.SynchronizeOperation
#
org.eclipse.pde.build:MINOR_VERSION_CHANGED
org.eclipse.core.runtime.compatibility.registry:MINOR_VERSION_CHANGED
# 76386
org.eclipse.team.core:org.eclipse.team.core.history.IFileRevision#getBranches()[Lorg/eclipse/team/core/history/ITag;
org.eclipse.team.core:org.eclipse.team.core.history.provider.FileRevision#getBranches()[Lorg/eclipse/team/core/history/ITag;
# excluded bundles
org.junit:org.junit.experimental.theories.Theories$TheoryAnchor#TheoryAnchor(Lorg/junit/experimental/theories/Theories;Lorg/junit/runners/model/FrameworkMethod;)V
org.junit:org.junit.experimental.theories.Theories$TheoryAnchor#TheoryAnchor(Lorg/junit/runners/model/FrameworkMethod;Lorg/junit/runners/model/TestClass;)V
org.junit:org.junit.runners.BlockJUnit4ClassRunner#rules(Ljava/lang/Object;)Ljava/util/List<Lorg/junit/rules/MethodRule;>;
org.junit:org.junit.runners.model.TestClass#getAnnotatedFieldValues<T:Ljava/lang/Object;>(Ljava/lang/Object;Ljava/lang/Class<+Ljava/lang/annotation/Annotation;>;Ljava/lang/Class<TT;>;)Ljava/util/List<TT;>;
org.objectweb.asm:MINOR_VERSION_CHANGED
org.objectweb.asm:org.objectweb.asm.commons.TryCatchBlockSorter
org.objectweb.asm:org.objectweb.asm.tree.analysis.Analyzer#init(Ljava/lang/String;Lorg/objectweb/asm/tree/MethodNode;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Ljava/lang/String;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Ljava/lang/String;Ljava/lang/Object;Lorg/objectweb/asm/tree/analysis/Value;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Ljava/lang/String;Ljava/lang/Throwable;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Lorg/objectweb/asm/tree/AbstractInsnNode;Ljava/lang/String;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Lorg/objectweb/asm/tree/AbstractInsnNode;Ljava/lang/String;Ljava/lang/Object;Lorg/objectweb/asm/tree/analysis/Value;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#AnalyzerException(Lorg/objectweb/asm/tree/AbstractInsnNode;Ljava/lang/String;Ljava/lang/Throwable;)V
org.objectweb.asm:org.objectweb.asm.tree.analysis.AnalyzerException#node
org.objectweb.asm:org.objectweb.asm.util.CheckMethodAdapter#version
# 341290
org.eclipse.ecf.filetransfer:MAJOR_VERSION_CHANGED
org.eclipse.ecf.filetransfer:org.eclipse.ecf.filetransfer.identity.FileIDFactory#createFileID(Lorg/eclipse/ecf/core/identity/Namespace;Ljava/net/URI;)Lorg/eclipse/ecf/filetransfer/identity/IFileID;
org.eclipse.ecf.filetransfer:org.eclipse.ecf.filetransfer.identity.IFileID#getURI()Ljava/net/URI;
org.eclipse.ecf.filetransfer:org.eclipse.ecf.filetransfer.identity.IFileIDFactory
org.eclipse.ecf.provider.filetransfer:MINOR_VERSION_CHANGED
org.eclipse.ecf.provider.filetransfer:org.eclipse.ecf.provider.filetransfer.identity.FileTransferID#FileTransferID(Lorg/eclipse/ecf/core/identity/Namespace;Ljava/net/URI;)V
org.eclipse.ecf.provider.filetransfer:org.eclipse.ecf.provider.filetransfer.identity.FileTransferID#getURI()Ljava/net/URI;
# 344140
org.sat4j.core:MINOR_VERSION_CHANGED
org.sat4j.core:org.sat4j.AbstractOptimizationLauncher#setIncomplete(Z)V
org.sat4j.core:org.sat4j.ExitCode#UPPER_BOUND
org.sat4j.core:org.sat4j.MUSLauncher
org.sat4j.core:org.sat4j.core.ReadOnlyVecInt#moveTo(I[I)V
org.sat4j.core:org.sat4j.core.VecInt#moveTo(I[I)V
org.sat4j.core:org.sat4j.minisat.SolverFactory#newBest17()Lorg/sat4j/minisat/core/Solver<Lorg/sat4j/minisat/core/DataStructureFactory;>;
org.sat4j.core:org.sat4j.minisat.SolverFactory#newBestSingleWL()Lorg/sat4j/minisat/core/Solver<Lorg/sat4j/minisat/core/DataStructureFactory;>;
org.sat4j.core:org.sat4j.minisat.SolverFactory#newDefaultMS21PhaseSaving()Lorg/sat4j/minisat/core/Solver<Lorg/sat4j/minisat/core/DataStructureFactory;>;
org.sat4j.core:org.sat4j.minisat.SolverFactory#newMiniLearningCBWLPure()Lorg/sat4j/minisat/core/Solver<Lorg/sat4j/minisat/core/DataStructureFactory;>;
org.sat4j.core:org.sat4j.minisat.SolverFactory#newRelsat()Lorg/sat4j/minisat/core/Solver<Lorg/sat4j/minisat/constraints/MixedDataStructureDanielWL;>;
org.sat4j.core:org.sat4j.minisat.constraints.ClausalDataStructureCB
org.sat4j.core:org.sat4j.minisat.constraints.ClausalDataStructureCBWL
org.sat4j.core:org.sat4j.minisat.constraints.MixedDataStructureDanielCBWL
org.sat4j.core:org.sat4j.minisat.constraints.MixedDataStructureSingleWL
org.sat4j.core:org.sat4j.minisat.constraints.card.MaxWatchCard#maxWatchCardNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/minisat/constraints/card/MaxWatchCard;
org.sat4j.core:org.sat4j.minisat.constraints.card.MaxWatchCard#maxWatchCardNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/minisat/core/Constr;
org.sat4j.core:org.sat4j.minisat.constraints.card.MinWatchCard#minWatchCardNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/minisat/constraints/card/MinWatchCard;
org.sat4j.core:org.sat4j.minisat.constraints.card.MinWatchCard#minWatchCardNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/minisat/core/Constr;
org.sat4j.core:org.sat4j.minisat.constraints.cnf.CBClause
org.sat4j.core:org.sat4j.minisat.constraints.cnf.MixableCBClause
org.sat4j.core:org.sat4j.minisat.core.AssertingClauseGenerator
org.sat4j.core:org.sat4j.minisat.core.IOrder#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.core.IPhaseSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.core.Solver#EXPENSIVE_SIMPLIFICATION_WLONLY
org.sat4j.core:org.sat4j.minisat.core.Solver#Solver(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<TD;>;TD;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.core:org.sat4j.minisat.core.Solver#Solver(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<TD;>;TD;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.core:org.sat4j.minisat.core.Solver#Solver(Lorg/sat4j/minisat/core/LearningStrategy<TD;>;TD;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.core:org.sat4j.minisat.core.Solver#Solver(Lorg/sat4j/minisat/core/LearningStrategy<TD;>;TD;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.core:org.sat4j.minisat.core.Solver#analyzer
org.sat4j.core:org.sat4j.minisat.core.Solver#fixedSize(I)Lorg/sat4j/minisat/core/Solver$LearnedConstraintsDeletionStrategy;
org.sat4j.core:org.sat4j.minisat.core.Solver#primeImplicant()[I
org.sat4j.core:org.sat4j.minisat.core.SolverStats#shortcuts
org.sat4j.core:org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy
org.sat4j.core:org.sat4j.minisat.orders.RSATPhaseSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.RandomLiteralSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.RandomWalkDecorator#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.orders.VarOrderHeap#updateVarAtDecisionLevel(I)V
org.sat4j.core:org.sat4j.minisat.uip.DecisionUIP
org.sat4j.core:org.sat4j.minisat.uip.FirstUIP
org.sat4j.core:org.sat4j.opt.AbstractSelectorVariablesDecorator#isOptimal()Z
org.sat4j.core:org.sat4j.opt.AbstractSelectorVariablesDecorator#isSolutionOptimal
org.sat4j.core:org.sat4j.opt.MinOneDecorator#isOptimal()Z
org.sat4j.core:org.sat4j.reader.GroupedCNFReader
org.sat4j.core:org.sat4j.specs.IOptimizationProblem#isOptimal()Z
org.sat4j.core:org.sat4j.specs.IProblem#primeImplicant()[I
org.sat4j.core:org.sat4j.specs.IVecInt#moveTo(I[I)V
org.sat4j.core:org.sat4j.tools.AbstractOutputSolver
org.sat4j.core:org.sat4j.tools.ConstrGroup#ConstrGroup(Z)V
org.sat4j.core:org.sat4j.tools.ConstrGroup#get(I)I
org.sat4j.core:org.sat4j.tools.ConstrGroup#getActivity()D
org.sat4j.core:org.sat4j.tools.ConstrGroup#getConstr(I)Lorg/sat4j/specs/IConstr;
org.sat4j.core:org.sat4j.tools.ConstrGroup#learnt()Z
org.sat4j.core:org.sat4j.tools.ConstrGroup#size()I
org.sat4j.core:org.sat4j.tools.GateTranslator#halfOr(ILorg/sat4j/specs/IVecInt;)[Lorg/sat4j/specs/IConstr;
org.sat4j.core:org.sat4j.tools.LexicoDecorator
org.sat4j.core:org.sat4j.tools.ManyCore
org.sat4j.core:org.sat4j.tools.ModelIterator#ModelIterator(Lorg/sat4j/specs/ISolver;I)V
org.sat4j.core:org.sat4j.tools.ModelIterator#ModelIterator(Lorg/sat4j/specs/ISolver;J)V
org.sat4j.core:org.sat4j.tools.ModelIterator#numberOfModelsFoundSoFar()J
org.sat4j.core:org.sat4j.tools.OptToSatAdapter#isOptimal()Z
org.sat4j.core:org.sat4j.tools.SolverDecorator#primeImplicant()[I
org.sat4j.core:org.sat4j.tools.xplain.DeletionStrategy
org.sat4j.core:org.sat4j.tools.xplain.Explainer
org.sat4j.core:org.sat4j.tools.xplain.HighLevelXplain
org.sat4j.core:org.sat4j.tools.xplain.InsertionStrategy
org.sat4j.core:org.sat4j.tools.xplain.MinimizationStrategy
org.sat4j.core:org.sat4j.tools.xplain.QuickXplain2001Strategy
org.sat4j.core:org.sat4j.tools.xplain.ReplayXplainStrategy
org.sat4j.core:org.sat4j.tools.xplain.Xplain#minimalExplanation()[I
org.sat4j.core:org.sat4j.tools.xplain.Xplain#setMinimizationStrategy(Lorg/sat4j/tools/xplain/MinimizationStrategy;)V
org.sat4j.core:org.sat4j.tools.xplain.XplainStrategy
org.sat4j.pb:MINOR_VERSION_CHANGED
org.sat4j.pb:org.sat4j.pb.LanceurPseudo2007#LanceurPseudo2007(Lorg/sat4j/core/ASolverFactory<Lorg/sat4j/pb/IPBSolver;>;)V
org.sat4j.pb:org.sat4j.pb.OptToPBSATAdapter#isOptimal()Z
org.sat4j.pb:org.sat4j.pb.PseudoBitsAdderDecorator
org.sat4j.pb:org.sat4j.pb.PseudoOptDecorator#isOptimal()Z
org.sat4j.pb:org.sat4j.pb.SolverFactory#newBoth()Lorg/sat4j/pb/IPBSolver;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetMinPBResLongWLMixedConstraintsObjectiveExpSimp()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResHTMixedConstraintsObjective()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResHTMixedConstraintsObjectiveExpSimp()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResLongHTMixedConstraintsObjectiveExpSimp()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResLongWLMixedConstraintsObjectiveExpSimp()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResMixedConstraintsObjective(Lorg/sat4j/pb/core/PBDataStructureFactory;)Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResMixedConstraintsObjectiveExpSimp(Lorg/sat4j/pb/core/PBDataStructureFactory;)Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCompetPBResWLMixedConstraintsObjective()Lorg/sat4j/pb/core/PBSolverResolution;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newCuttingPlanesAggressiveCleanup()Lorg/sat4j/pb/IPBSolver;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newMiniOPBCounterBasedClauseCardConstrMax()Lorg/sat4j/pb/core/PBSolverCP;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newResolutionGlucoseSimpleSimp()Lorg/sat4j/pb/IPBSolver;
org.sat4j.pb:org.sat4j.pb.SolverFactory#newSimpleSimplification()Lorg/sat4j/pb/IPBSolver;
org.sat4j.pb:org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure
org.sat4j.pb:org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure
org.sat4j.pb:org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure
org.sat4j.pb:org.sat4j.pb.constraints.PBMaxCBClauseCardConstrDataStructure
org.sat4j.pb:org.sat4j.pb.constraints.pb.AtLeastPB#atLeastNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;I)Lorg/sat4j/pb/constraints/pb/AtLeastPB;
org.sat4j.pb:org.sat4j.pb.constraints.pb.AtLeastPB#atLeastNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;I)Lorg/sat4j/pb/constraints/pb/PBConstr;
org.sat4j.pb:org.sat4j.pb.constraints.pb.ConflictMap#reduceInConstraint(Lorg/sat4j/pb/constraints/pb/IWatchPb;[Ljava/math/BigInteger;ILjava/math/BigInteger;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.ConflictMap#reduceInConstraint(Lorg/sat4j/pb/constraints/pb/WatchPb;[Ljava/math/BigInteger;ILjava/math/BigInteger;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.ConflictMap#reduceUntilConflict(II[Ljava/math/BigInteger;Lorg/sat4j/pb/constraints/pb/IWatchPb;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.ConflictMap#reduceUntilConflict(II[Ljava/math/BigInteger;Lorg/sat4j/pb/constraints/pb/WatchPb;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.IConflict#reduceInConstraint(Lorg/sat4j/pb/constraints/pb/IWatchPb;[Ljava/math/BigInteger;ILjava/math/BigInteger;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.IConflict#reduceInConstraint(Lorg/sat4j/pb/constraints/pb/WatchPb;[Ljava/math/BigInteger;ILjava/math/BigInteger;)Ljava/math/BigInteger;
org.sat4j.pb:org.sat4j.pb.constraints.pb.IDataStructurePB#isLongSufficient()Z
org.sat4j.pb:org.sat4j.pb.constraints.pb.IWatchPb
org.sat4j.pb:org.sat4j.pb.constraints.pb.MapPb#isLongSufficient()Z
org.sat4j.pb:org.sat4j.pb.constraints.pb.MaxWatchPbLong
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchCardPB#minWatchCardPBNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/pb/constraints/pb/MinWatchCardPB;
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchCardPB#minWatchCardPBNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;ZI)Lorg/sat4j/pb/constraints/pb/PBConstr;
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchCardPB#normalizedMinWatchCardPBNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;I)Lorg/sat4j/pb/constraints/pb/MinWatchCardPB;
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchCardPB#normalizedMinWatchCardPBNew(Lorg/sat4j/minisat/core/UnitPropagationListener;Lorg/sat4j/minisat/core/ILits;Lorg/sat4j/specs/IVecInt;I)Lorg/sat4j/pb/constraints/pb/PBConstr;
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchPbLong
org.sat4j.pb:org.sat4j.pb.constraints.pb.MinWatchPbLongPB
org.sat4j.pb:org.sat4j.pb.constraints.pb.MixableCBClausePB
org.sat4j.pb:org.sat4j.pb.constraints.pb.UnitClausesPB
org.sat4j.pb:org.sat4j.pb.constraints.pb.WatchPbLong
org.sat4j.pb:org.sat4j.pb.core.PBSolver#PBSolver(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolver#PBSolver(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolver#PBSolver(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolver#PBSolver(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCP#PBSolverCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCautious#PBSolverCautious(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCautious#PBSolverCautious(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;I)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCautious#PBSolverCautious(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverCautious#PBSolverCautious(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;I)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverClause#PBSolverClause(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverClause#PBSolverClause(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverMerging#PBSolverMerging(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverMerging#PBSolverMerging(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;J)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;J)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResCP#PBSolverResCP(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResolution#PBSolverResolution(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResolution#PBSolverResolution(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResolution#PBSolverResolution(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverResolution#PBSolverResolution(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/SearchParams;Lorg/sat4j/minisat/core/IOrder;Lorg/sat4j/minisat/core/RestartStrategy;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverWithImpliedClause#PBSolverWithImpliedClause(Lorg/sat4j/minisat/core/AssertingClauseGenerator;Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.core.PBSolverWithImpliedClause#PBSolverWithImpliedClause(Lorg/sat4j/minisat/core/LearningStrategy<Lorg/sat4j/pb/core/PBDataStructureFactory;>;Lorg/sat4j/pb/core/PBDataStructureFactory;Lorg/sat4j/minisat/core/IOrder;)V
org.sat4j.pb:org.sat4j.pb.reader.OPBReader2010
org.sat4j.pb:org.sat4j.pb.tools.DependencyHelper#halfOr(TC;TT;[TT;)V
org.sat4j.pb:org.sat4j.pb.tools.LexicoDecoratorPB
org.sat4j.pb:org.sat4j.pb.tools.LexicoHelper
org.sat4j.pb:org.sat4j.pb.tools.ManyCorePB
org.sat4j.pb:org.sat4j.pb.tools.WeightedObject#newWO<E:Ljava/lang/Object;>(TE;J)Lorg/sat4j/pb/tools/WeightedObject<TE;>;
