Serialized Form (SAT4J 2.3.3 API)

Package org.sat4j.core
- Class org.sat4j.core.ASolverFactory extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.core.DefaultComparator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.core.ReadOnlyVec extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - vec
```
IVec<T> vec
```
- Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - vec
```
IVecInt vec
```
- Class org.sat4j.core.Vec extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbelem
```
int nbelem
```
    - myarray
```
Object[] myarray
```
- Class org.sat4j.core.VecInt extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbelem
```
int nbelem
```
    - myarray
```
int[] myarray
```
Package org.sat4j.csp
- Class org.sat4j.csp.CSPLauncher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.csp.SolverFactory extends ASolverFactory<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.maxsat
- Class org.sat4j.maxsat.GenericOptLauncher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - wmsd
```
WeightedMaxSatDecorator wmsd
```
- Class org.sat4j.maxsat.MinCostDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - costs
```
int[] costs
```
    - prevmodel
```
int[] prevmodel
```
    - vars
```
IVecInt vars
```
    - coeffs
```
IVec<T> coeffs
```
    - objectivevalue
```
int objectivevalue
```
    - prevConstr
```
IConstr prevConstr
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
- Class org.sat4j.maxsat.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.maxsat.WeightedMaxSatDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbnewvar
```
int nbnewvar
```
    - falsifiedWeight
```
BigInteger falsifiedWeight
```
    - maxVarIdFixed
```
boolean maxVarIdFixed
```
    - equivalence
```
boolean equivalence
```
    - lits
```
IVecInt lits
```
    - coefs
```
IVec<T> coefs
```
    - obj
```
ObjectiveFunction obj
```
    - unitClauses
```
Set<E> unitClauses
```
    - noNewVarForUnitSoftClauses
```
boolean noNewVarForUnitSoftClauses
```
    - top
```
BigInteger top
```
Package org.sat4j.maxsat.reader
- Class org.sat4j.maxsat.reader.WDimacsReader extends DimacsReader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - weight
```
BigInteger weight
```
    - top
```
BigInteger top
```
    - decorator
```
WeightedMaxSatDecorator decorator
```
Package org.sat4j.minisat
- Class org.sat4j.minisat.SolverFactory extends ASolverFactory<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.minisat.constraints
- Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lits
```
ILits lits
```
    - tmp
```
IVec<T> tmp
```
    - solver
```
UnitPropagationListener solver
```
    - learner
```
Learner learner
```
- Class org.sat4j.minisat.constraints.CardinalityDataStructure extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.minisat.constraints.card
- Class org.sat4j.minisat.constraints.card.AtLeast extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxUnsatisfied
```
int maxUnsatisfied
```
      number of allowed falsified literal
    - counter
```
int counter
```
      current number of falsified literals
    - lits
```
int[] lits
```
      constraint literals
    - voc
```
ILits voc
```
- Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
int degree
```
      Degr? de la contrainte de cardinalit?
    - lits
```
int[] lits
```
      Liste des litt?raux de la contrainte
    - moreThan
```
boolean moreThan
```
      D?termine si c'est une in?galit? sup?rieure ou ?gale
    - watchCumul
```
int watchCumul
```
      Somme des coefficients des litt?raux observ?s
    - voc
```
ILits voc
```
      Vocabulaire de la contrainte
- Class org.sat4j.minisat.constraints.card.MinWatchCard extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
int degree
```
      degree of the cardinality constraint
    - lits
```
int[] lits
```
      literals involved in the constraint
    - moreThan
```
boolean moreThan
```
      contains the sign of the constraint : ATLEAT or ATMOST
    - watchCumul
```
int watchCumul
```
      contains the sum of the coefficients of the watched literals
    - voc
```
ILits voc
```
      Vocabulary of the constraint
Package org.sat4j.minisat.constraints.cnf
- Class org.sat4j.minisat.constraints.cnf.BinaryClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
    - voc
```
ILits voc
```
    - head
```
int head
```
    - tail
```
int tail
```
- Class org.sat4j.minisat.constraints.cnf.HTClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
    - middleLits
```
int[] middleLits
```
    - voc
```
ILits voc
```
    - head
```
int head
```
    - tail
```
int tail
```
- Class org.sat4j.minisat.constraints.cnf.LearntBinaryClause extends BinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.LearntHTClause extends HTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.LearntWLClause extends WLClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.Lits extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - pool
```
boolean[] pool
```
    - realnVars
```
int realnVars
```
    - watches
```
IVec<T>[] watches
```
    - level
```
int[] level
```
    - reason
```
Constr[] reason
```
    - maxvarid
```
int maxvarid
```
    - undos
```
IVec<T>[] undos
```
    - falsified
```
boolean[] falsified
```
- Class org.sat4j.minisat.constraints.cnf.OriginalBinaryClause extends BinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.OriginalHTClause extends HTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.OriginalWLClause extends WLClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.WLClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      Since:
      
      2.1
    - lits
```
int[] lits
```
    - voc
```
ILits voc
```
Package org.sat4j.minisat.core
- Class org.sat4j.minisat.core.ActivityComparator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.core.CircularBuffer extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - values
```
int[] values
```
    - index
```
int index
```
    - sum
```
long sum
```
    - full
```
boolean full
```
- Class org.sat4j.minisat.core.ConflictTimerAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - bound
```
int bound
```
- Class org.sat4j.minisat.core.ConflictTimerContainer extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - timers
```
IVec<T> timers
```
- Class org.sat4j.minisat.core.Heap extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - heap
```
IVecInt heap
```
    - indices
```
IVecInt indices
```
    - activity
```
double[] activity
```
- Class org.sat4j.minisat.core.IntQueue extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - myarray
```
int[] myarray
```
    - size
```
int size
```
    - first
```
int first
```
- Class org.sat4j.minisat.core.Pair extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - backtrackLevel
```
int backtrackLevel
```
    - reason
```
Constr reason
```
- Class org.sat4j.minisat.core.SearchParams extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - claDecay
```
double claDecay
```
    - varDecay
```
double varDecay
```
    - conflictBoundIncFactor
```
double conflictBoundIncFactor
```
    - initConflictBound
```
int initConflictBound
```
- Class org.sat4j.minisat.core.Solver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - out
```
ILogAble out
```
    - constrs
```
IVec<T> constrs
```
      Set of original constraints.
    - learnts
```
IVec<T> learnts
```
      Set of learned constraints.
    - claInc
```
double claInc
```
      Increment for clause activity.
    - claDecay
```
double claDecay
```
      decay factor pour l'activit? des clauses.
    - qhead
```
int qhead
```
      propagation queue
    - trail
```
IVecInt trail
```
      variable assignments (literals) in chronological order.
    - trailLim
```
IVecInt trailLim
```
      position of the decision levels on the trail.
    - rootLevel
```
int rootLevel
```
      position of assumptions before starting the search.
    - model
```
int[] model
```
    - voc
```
ILits voc
```
    - order
```
IOrder order
```
    - comparator
```
ActivityComparator comparator
```
    - stats
```
SolverStats stats
```
    - learner
```
LearningStrategy<D extends DataStructureFactory> learner
```
    - undertimeout
```
boolean undertimeout
```
    - timeout
```
long timeout
```
    - timeBasedTimeout
```
boolean timeBasedTimeout
```
    - dsfactory
```
DataStructureFactory dsfactory
```
    - params
```
SearchParams params
```
    - __dimacs_out
```
IVecInt __dimacs_out
```
    - slistener
```
SearchListener<S extends ISolverService> slistener
```
    - restarter
```
RestartStrategy restarter
```
    - constrTypes
```
Map<K,V> constrTypes
```
    - isDBSimplificationAllowed
```
boolean isDBSimplificationAllowed
```
    - learnedLiterals
```
IVecInt learnedLiterals
```
    - verbose
```
boolean verbose
```
    - keepHot
```
boolean keepHot
```
    - prefix
```
String prefix
```
    - declaredMaxVarId
```
int declaredMaxVarId
```
    - mseen
```
boolean[] mseen
```
    - mpreason
```
IVecInt mpreason
```
    - moutLearnt
```
IVecInt moutLearnt
```
    - SIMPLE_SIMPLIFICATION
```
ISimplifier SIMPLE_SIMPLIFICATION
```
    - EXPENSIVE_SIMPLIFICATION
```
ISimplifier EXPENSIVE_SIMPLIFICATION
```
    - EXPENSIVE_SIMPLIFICATION_WLONLY
```
ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY
```
    - simplifier
```
ISimplifier simplifier
```
    - analyzetoclear
```
IVecInt analyzetoclear
```
    - analyzestack
```
IVecInt analyzestack
```
    - watched
```
IVec<T> watched
```
    - analysisResult
```
Pair analysisResult
```
    - userbooleanmodel
```
boolean[] userbooleanmodel
```
    - unsatExplanationInTermsOfAssumptions
```
IVecInt unsatExplanationInTermsOfAssumptions
```
    - implied
```
IVecInt implied
```
    - decisions
```
IVecInt decisions
```
    - fullmodel
```
int[] fullmodel
```
    - prime
```
int[] prime
```
    - timebegin
```
double timebegin
```
    - needToReduceDB
```
boolean needToReduceDB
```
    - conflictCount
```
ConflictTimerContainer conflictCount
```
    - memoryTimer
```
ConflictTimer memoryTimer
```
    - memory_based
```
LearnedConstraintsDeletionStrategy memory_based
```
      Since:
      
      2.1
    - lbdTimer
```
ConflictTimer lbdTimer
```
    - glucose
```
LearnedConstraintsDeletionStrategy glucose
```
      Since:
      
      2.1
    - learnedConstraintsDeletionStrategy
```
LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
```
    - lastConflictMeansUnsat
```
boolean lastConflictMeansUnsat
```
    - sharedConflict
```
Constr sharedConflict
```
- Class org.sat4j.minisat.core.SolverStats extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - starts
```
int starts
```
    - decisions
```
long decisions
```
    - propagations
```
long propagations
```
    - inspects
```
long inspects
```
    - conflicts
```
long conflicts
```
    - learnedliterals
```
long learnedliterals
```
    - learnedbinaryclauses
```
long learnedbinaryclauses
```
    - learnedternaryclauses
```
long learnedternaryclauses
```
    - learnedclauses
```
long learnedclauses
```
    - ignoredclauses
```
long ignoredclauses
```
    - rootSimplifications
```
long rootSimplifications
```
    - reducedliterals
```
long reducedliterals
```
    - changedreason
```
long changedreason
```
    - reduceddb
```
int reduceddb
```
    - shortcuts
```
int shortcuts
```
    - updateLBD
```
long updateLBD
```
Package org.sat4j.minisat.learning
- Class org.sat4j.minisat.learning.ActiveLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - percent
```
double percent
```
    - order
```
IOrder order
```
    - maxpercent
```
int maxpercent
```
- Class org.sat4j.minisat.learning.ClauseOnlyLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.FixedLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxlength
```
int maxlength
```
    - bound
```
int bound
```
- Class org.sat4j.minisat.learning.LimitedLearning extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - none
```
NoLearningButHeuristics<D extends DataStructureFactory> none
```
    - all
```
MiniSATLearning<D extends DataStructureFactory> all
```
    - lits
```
ILits lits
```
    - stats
```
SolverStats stats
```
- Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - dsf
```
DataStructureFactory dsf
```
- Class org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.PercentLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxpercent
```
int maxpercent
```
    - bound
```
int bound
```
Package org.sat4j.minisat.orders
- Class org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PureOrder extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - period
```
int period
```
    - cpt
```
int cpt
```
- Class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.RandomWalkDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - decorated
```
VarOrderHeap decorated
```
    - p
```
double p
```
    - voc
```
ILits voc
```
    - nbRandomWalks
```
int nbRandomWalks
```
- Class org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.RSATPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.SubsetVarOrder extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varsToTest
```
int[] varsToTest
```
- Class org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.VarOrderHeap extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double[] activity
```
      mesure heuristique de l'activite d'une variable.
    - varDecay
```
double varDecay
```
    - varInc
```
double varInc
```
      increment pour l'activite des variables.
    - lits
```
ILits lits
```
    - nullchoice
```
long nullchoice
```
    - heap
```
Heap heap
```
    - phaseStrategy
```
IPhaseSelectionStrategy phaseStrategy
```
Package org.sat4j.minisat.restarts
- Class org.sat4j.minisat.restarts.ArminRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - inner
```
double inner
```
    - outer
```
double outer
```
    - conflicts
```
long conflicts
```
    - params
```
SearchParams params
```
    - conflictcount
```
long conflictcount
```
- Class org.sat4j.minisat.restarts.FixedPeriodRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - conflictCount
```
long conflictCount
```
    - period
```
long period
```
- Class org.sat4j.minisat.restarts.Glucose21Restarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bufferLBD
```
CircularBuffer bufferLBD
```
    - bufferTrail
```
CircularBuffer bufferTrail
```
    - sumOfAllLBD
```
long sumOfAllLBD
```
    - stats
```
SolverStats stats
```
- Class org.sat4j.minisat.restarts.LubyRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - un
```
int un
```
    - vn
```
int vn
```
    - factor
```
int factor
```
    - bound
```
int bound
```
    - conflictcount
```
int conflictcount
```
- Class org.sat4j.minisat.restarts.MiniSATRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nofConflicts
```
double nofConflicts
```
    - params
```
SearchParams params
```
    - conflictcount
```
int conflictcount
```
- Class org.sat4j.minisat.restarts.NoRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.opt
- Class org.sat4j.opt.AbstractSelectorVariablesDecorator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbexpectedclauses
```
int nbexpectedclauses
```
    - prevfullmodel
```
int[] prevfullmodel
```
    - prevmodel
```
int[] prevmodel
```
      Since:
      
      2.1
    - prevboolmodel
```
boolean[] prevboolmodel
```
      Since:
      
      2.1
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
- Class org.sat4j.opt.MaxSatDecorator extends AbstractSelectorVariablesDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - equivalence
```
boolean equivalence
```
    - lits
```
IVecInt lits
```
    - counter
```
int counter
```
    - prevConstr
```
IConstr prevConstr
```
- Class org.sat4j.opt.MinOneDecorator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevmodel
```
int[] prevmodel
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
    - counter
```
int counter
```
    - literals
```
IVecInt literals
```
    - previousConstr
```
IConstr previousConstr
```
Package org.sat4j.pb
- Class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - previousPBConstr
```
IConstr previousPBConstr
```
    - addedConstr
```
IConstr addedConstr
```
    - objectiveValue
```
Number objectiveValue
```
    - optimumFound
```
boolean optimumFound
```
- Class org.sat4j.pb.LanceurPseudo2005 extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - factory
```
ASolverFactory<T extends ISolver> factory
```
    - obfct
```
ObjectiveFunction obfct
```
- Class org.sat4j.pb.LanceurPseudo2007 extends LanceurPseudo2005 implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.LanceurPseudo2007Eclipse extends LanceurPseudo2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - quickxplain
```
XplainPB quickxplain
```
- Class org.sat4j.pb.LPStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
- Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - coeffs
```
IVec<T> coeffs
```
    - vars
```
IVecInt vars
```
    - correction
```
BigInteger correction
```
- Class org.sat4j.pb.OPBStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
- Class org.sat4j.pb.OptToPBSATAdapter extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - problem
```
IOptimizationProblem problem
```
    - modelComputed
```
boolean modelComputed
```
    - assumps
```
IVecInt assumps
```
    - begin
```
long begin
```
- Class org.sat4j.pb.PBSolverDecorator extends SolverDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PseudoBitsAdderDecorator extends SolverDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objfct
```
ObjectiveFunction objfct
```
    - gator
```
GateTranslator gator
```
    - solver
```
IPBSolver solver
```
- Class org.sat4j.pb.PseudoIteratorDecorator extends PseudoOptDecorator implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PseudoOptDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objectiveValue
```
BigInteger objectiveValue
```
    - prevmodel
```
int[] prevmodel
```
    - prevmodelwithadditionalvars
```
int[] prevmodelwithadditionalvars
```
    - prevfullmodel
```
boolean[] prevfullmodel
```
    - previousPBConstr
```
IConstr previousPBConstr
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
    - nonOptimalMeansSatisfiable
```
boolean nonOptimalMeansSatisfiable
```
    - useAnImplicantForEvaluation
```
boolean useAnImplicantForEvaluation
```
    - solverTimeout
```
int solverTimeout
```
    - optimizationTimeout
```
int optimizationTimeout
```
- Class org.sat4j.pb.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.UserFriendlyPBStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
    - mapping
```
Map<K,V> mapping
```
Package org.sat4j.pb.constraints
- Class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - ipbc
```
IPBConstructor ipbc
```
    - icardc
```
ICardConstructor icardc
```
    - iclausec
```
IClauseConstructor iclausec
```
- Class org.sat4j.pb.constraints.AbstractPBDataStructureFactory extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - norm
```
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer norm
```
- Class org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.constraints.pb
- Class org.sat4j.pb.constraints.pb.AtLeastPB extends AtLeast implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
BigInteger degree
```
    - learnt
```
boolean learnt
```
- Class org.sat4j.pb.constraints.pb.LearntBinaryClausePB extends LearntBinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.LearntHTClausePB extends LearntHTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.MaxWatchPb extends WatchPb implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
BigInteger watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MaxWatchPbLong extends WatchPbLong implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP extends WatchPbLongCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MinWatchCardPB extends MinWatchCard implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bigDegree
```
BigInteger bigDegree
```
    - learnt
```
boolean learnt
```
- Class org.sat4j.pb.constraints.pb.MinWatchPb extends WatchPb implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
BigInteger watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.MinWatchPbLong extends WatchPbLong implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.MinWatchPbLongCP extends WatchPbLongCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB extends OriginalBinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.OriginalHTClausePB extends OriginalHTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.PuebloMinWatchPb extends MinWatchPb implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.WatchPb extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - coefs
```
BigInteger[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
BigInteger sumcoefs
```
    - degree
```
BigInteger degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
- Class org.sat4j.pb.constraints.pb.WatchPbLong extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - coefs
```
long[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
long sumcoefs
```
    - degree
```
long degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
- Class org.sat4j.pb.constraints.pb.WatchPbLongCP extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - bigCoefs
```
BigInteger[] bigCoefs
```
      coefficients of the literals of the constraint
    - bigDegree
```
BigInteger bigDegree
```
      degree of the pseudo-boolean constraint
    - coefs
```
long[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
long sumcoefs
```
    - degree
```
long degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
Package org.sat4j.pb.core
- Class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  -1637773414229087105L
  - Serialized Fields
    - decorated
```
IPBSolver decorated
```
    - atMostOneCstrs
```
List<E> atMostOneCstrs
```
- Class org.sat4j.pb.core.PBSolver extends Solver<PBDataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objf
```
ObjectiveFunction objf
```
    - stats
```
PBSolverStats stats
```
    - previousConstr
```
IConstr previousConstr
```
    - objectiveFunctionBased
```
LearnedConstraintsDeletionStrategy objectiveFunctionBased
```
      Since:
      
      2.1
- Class org.sat4j.pb.core.PBSolverCautious extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverClause extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCP extends PBSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - conflictVariables
```
IVec<T> conflictVariables
```
    - conflictConstraints
```
IVec<T> conflictConstraints
```
- Class org.sat4j.pb.core.PBSolverResCP extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bound
```
long bound
```
- Class org.sat4j.pb.core.PBSolverResolution extends PBSolver implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverStats extends SolverStats implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - numberOfReductions
```
long numberOfReductions
```
    - numberOfLearnedConstraintsReduced
```
long numberOfLearnedConstraintsReduced
```
    - numberOfResolution
```
long numberOfResolution
```
    - numberOfCP
```
long numberOfCP
```
- Class org.sat4j.pb.core.PBSolverWithImpliedClause extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.orders
- Class org.sat4j.pb.orders.RandomWalkDecoratorObjective extends RandomWalkDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objorder
```
IOrderObjective objorder
```
- Class org.sat4j.pb.orders.VarOrderHeapObjective extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - obj
```
ObjectiveFunction obj
```
Package org.sat4j.pb.reader
- Class org.sat4j.pb.reader.OPBEclipseReader2007 extends OPBReader2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varExplain
```
IVecInt varExplain
```
- Class org.sat4j.pb.reader.OPBReader2005 extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
IPBSolver solver
```
    - lits
```
IVecInt lits
```
    - coeffs
```
IVec<T> coeffs
```
    - d
```
BigInteger d
```
    - operator
```
String operator
```
    - objectiveVars
```
IVecInt objectiveVars
```
    - objectiveCoeffs
```
IVec<T> objectiveCoeffs
```
    - hasObjFunc
```
boolean hasObjFunc
```
    - hasVariablesExplanation
```
boolean hasVariablesExplanation
```
    - nbVars
```
int nbVars
```
    - nbConstr
```
int nbConstr
```
    - nbConstraintsRead
```
int nbConstraintsRead
```
    - savedChar
```
char savedChar
```
    - charAvailable
```
boolean charAvailable
```
    - eofReached
```
boolean eofReached
```
    - eolReached
```
boolean eolReached
```
- Class org.sat4j.pb.reader.OPBReader2006 extends OPBReader2005 implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.reader.OPBReader2007 extends OPBReader2006 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbNewSymbols
```
int nbNewSymbols
```
      contains the number of new symbols generated to linearize products
    - varToProduct
```
Map<K,V> varToProduct
```
    - binaryProductToVar
```
Map<K,V> binaryProductToVar
```
- Class org.sat4j.pb.reader.OPBReader2010 extends OPBReader2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - isWbo
```
boolean isWbo
```
    - softLimit
```
BigInteger softLimit
```
    - softConstraint
```
boolean softConstraint
```
- Class org.sat4j.pb.reader.OPBReader2012 extends OPBReader2010 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lexico
```
LexicoDecoratorPB lexico
```
Package org.sat4j.pb.tools
- Class org.sat4j.pb.tools.ClausalConstraintsDecorator extends ClausalCardinalitiesDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
IPBSolver solver
```
- Class org.sat4j.pb.tools.ConflictTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - filename
```
String filename
```
    - out
```
PrintStream out
```
    - index
```
long index
```
- Class org.sat4j.pb.tools.LexicoDecoratorPB extends LexicoDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objs
```
List<E> objs
```
    - bigCurrentValue
```
BigInteger bigCurrentValue
```
- Class org.sat4j.pb.tools.ManyCorePB extends ManyCore<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.PBAdapter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.SearchOptimizerListener extends SearchListenerAdapter<IPBSolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
IPBSolverService solverService
```
    - obj
```
ObjectiveFunction obj
```
    - sfl
```
SolutionFoundListener sfl
```
    - currentValue
```
BigInteger currentValue
```
- Class org.sat4j.pb.tools.XplainPB extends Xplain<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.reader
- Class org.sat4j.reader.DimacsReader extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - expectedNbOfConstr
```
int expectedNbOfConstr
```
    - solver
```
ISolver solver
```
    - checkConstrNb
```
boolean checkConstrNb
```
    - formatString
```
String formatString
```
    - scanner
```
EfficientScanner scanner
```
      Since:
      
      2.1
    - literals
```
IVecInt literals
```
      Since:
      
      2.1
- Class org.sat4j.reader.EfficientScanner extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - commentChar
```
char commentChar
```
- Class org.sat4j.reader.GroupedCNFReader extends DimacsReader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - numberOfComponents
```
int numberOfComponents
```
    - groupSolver
```
IGroupSolver groupSolver
```
    - currentComponentIndex
```
int currentComponentIndex
```
- Class org.sat4j.reader.LecteurDimacs extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - s
```
ISolver s
```
    - nbVars
```
int nbVars
```
    - nbClauses
```
int nbClauses
```
- Class org.sat4j.reader.ParseFormatException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.sat
- Class org.sat4j.sat.CleanCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - cleanSlider
```
JSlider cleanSlider
```
    - evaluationLabel
```
JLabel evaluationLabel
```
    - activityRadio
```
JRadioButton activityRadio
```
    - lbdRadio
```
JRadioButton lbdRadio
```
    - lbd2Radio
```
JRadioButton lbd2Radio
```
    - cleanAndEvaluationApplyButton
```
JButton cleanAndEvaluationApplyButton
```
    - cleanButton
```
JButton cleanButton
```
    - manualCleanLabel
```
JLabel manualCleanLabel
```
    - speedLabel
```
JLabel speedLabel
```
    - speedNameLabel
```
JLabel speedNameLabel
```
    - speedUnitLabel
```
JLabel speedUnitLabel
```
    - deleteClauseLabel
```
JLabel deleteClauseLabel
```
    - clean5000Label
```
JLabel clean5000Label
```
    - clean10000Label
```
JLabel clean10000Label
```
    - clean20000Label
```
JLabel clean20000Label
```
    - clean50000Label
```
JLabel clean50000Label
```
    - clean100000Label
```
JLabel clean100000Label
```
    - clean500000Label
```
JLabel clean500000Label
```
    - controller
```
SolverController controller
```
    - cleanUseOriginalStrategyCB
```
JCheckBox cleanUseOriginalStrategyCB
```
- Class org.sat4j.sat.CommandComponent extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.sat.DetailedCommandPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - encodingPolicy
```
Policy encodingPolicy
```
    - ramdisk
```
String ramdisk
```
    - telecomStrategy
```
RemoteControlStrategy telecomStrategy
```
    - randomWalk
```
RandomWalkDecorator randomWalk
```
    - solver
```
ISolver solver
```
    - reader
```
Reader reader
```
    - problem
```
IProblem problem
```
    - problemType
```
ProblemType problemType
```
    - optimizationMode
```
boolean optimizationMode
```
    - equivalenceMode
```
boolean equivalenceMode
```
    - lowerMode
```
boolean lowerMode
```
    - commandLines
```
String[] commandLines
```
    - firstStart
```
boolean firstStart
```
    - startConfig
```
StartSolverEnum startConfig
```
    - stringWriter
```
StringWriter stringWriter
```
    - aboutSolverPanel
```
JPanel aboutSolverPanel
```
    - textArea
```
JTextArea textArea
```
    - instancePanel
```
JPanel instancePanel
```
    - instanceLabel
```
JLabel instanceLabel
```
    - instancePathField
```
JTextField instancePathField
```
    - instancePath
```
String instancePath
```
    - browseButton
```
JButton browseButton
```
    - whereToWriteFiles
```
String whereToWriteFiles
```
    - choixSolverPanel
```
JPanel choixSolverPanel
```
    - choixSolver
```
JLabel choixSolver
```
    - listeSolvers
```
JComboBox<E> listeSolvers
```
    - optimisationModeCB
```
JCheckBox optimisationModeCB
```
    - equivalenceCB
```
JCheckBox equivalenceCB
```
    - lowerCB
```
JCheckBox lowerCB
```
    - atMostKCB
```
JComboBox<E> atMostKCB
```
    - atMost1CB
```
JComboBox<E> atMost1CB
```
    - exactlyKCB
```
JComboBox<E> exactlyKCB
```
    - exactly1CB
```
JComboBox<E> exactly1CB
```
    - solverLineParamLineRadio
```
JRadioButton solverLineParamLineRadio
```
    - solverLineParamRemoteRadio
```
JRadioButton solverLineParamRemoteRadio
```
    - solverListParamListRadio
```
JRadioButton solverListParamListRadio
```
    - solverListParamRemoteRadio
```
JRadioButton solverListParamRemoteRadio
```
    - startStopButton
```
JButton startStopButton
```
    - pauseButton
```
JButton pauseButton
```
    - restartPanel
```
RestartCommandComponent restartPanel
```
    - rwPanel
```
RandomWalkCommandComponent rwPanel
```
    - cleanPanel
```
CleanCommandComponent cleanPanel
```
    - phasePanel
```
PhaseCommandComponent phasePanel
```
    - simplifierPanel
```
SimplifierCommandComponent simplifierPanel
```
    - hotSolverPanel
```
HotSolverCommandComponent hotSolverPanel
```
    - console
```
JTextArea console
```
    - isPlotActivated
```
boolean isPlotActivated
```
    - solverVisu
```
SolverVisualisation solverVisu
```
    - visuPreferences
```
VisuPreferences visuPreferences
```
    - gnuplotBased
```
boolean gnuplotBased
```
    - chartBased
```
boolean chartBased
```
    - frame
```
RemoteControlFrame frame
```
    - begin
```
long begin
```
    - end
```
long end
```
    - propagationsCounter
```
int propagationsCounter
```
    - conflictCounter
```
int conflictCounter
```
    - outSolutionFound
```
PrintStream outSolutionFound
```
- Class org.sat4j.sat.DetailedCommandPanel.MyTabbedPane extends JTabbedPane implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.sat.HotSolverCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - keepSolverHotCB
```
JCheckBox keepSolverHotCB
```
    - applyHotSolver
```
JButton applyHotSolver
```
- Class org.sat4j.sat.Lanceur extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - incomplete
```
boolean incomplete
```
      Deprecated.
    - isModeOptimization
```
boolean isModeOptimization
```
      Deprecated.
    - problem
```
IProblem problem
```
      Deprecated.
    - modeTracing
```
boolean modeTracing
```
      Deprecated.
    - launchRemoteControl
```
boolean launchRemoteControl
```
      Deprecated.
    - filename
```
String filename
```
      Deprecated.
    - k
```
int k
```
      Deprecated.
- Class org.sat4j.sat.Launcher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - isModeOptimization
```
boolean isModeOptimization
```
    - modeTracing
```
boolean modeTracing
```
    - launchRemoteControl
```
boolean launchRemoteControl
```
    - filename
```
String filename
```
    - typeProbleme
```
ProblemType typeProbleme
```
- Class org.sat4j.sat.PhaseCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - currentPhaseSelectionStrategy
```
String currentPhaseSelectionStrategy
```
    - phaseList
```
JComboBox<E> phaseList
```
    - phaseListLabel
```
JLabel phaseListLabel
```
    - phaseApplyButton
```
JButton phaseApplyButton
```
    - solverController
```
SolverController solverController
```
- Class org.sat4j.sat.RandomWalkCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - probaRWLabel
```
JLabel probaRWLabel
```
    - probaRWField
```
JTextField probaRWField
```
    - applyRWButton
```
JButton applyRWButton
```
- Class org.sat4j.sat.RemoteControlFrame extends JFrame implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activateTracing
```
JMenuItem activateTracing
```
    - gnuplotBasedRadio
```
JRadioButtonMenuItem gnuplotBasedRadio
```
    - jChartBasedRadio
```
JRadioButtonMenuItem jChartBasedRadio
```
    - commandePanel
```
DetailedCommandPanel commandePanel
```
    - filename
```
String filename
```
    - ramdisk
```
String ramdisk
```
    - args
```
String[] args
```
    - visuFrame
```
VisuPreferencesFrame visuFrame
```
- Class org.sat4j.sat.RemoteControlStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - restart
```
RestartStrategy restart
```
    - phaseSelectionStrategy
```
IPhaseSelectionStrategy phaseSelectionStrategy
```
    - logger
```
ILogAble logger
```
    - isInterrupted
```
boolean isInterrupted
```
    - hasClickedOnRestart
```
boolean hasClickedOnRestart
```
    - hasClickedOnClean
```
boolean hasClickedOnClean
```
    - conflictNumber
```
int conflictNumber
```
    - nbClausesAtWhichWeShouldClean
```
int nbClausesAtWhichWeShouldClean
```
    - useTelecomStrategyAsLearnedConstraintsDeletionStrategy
```
boolean useTelecomStrategyAsLearnedConstraintsDeletionStrategy
```
    - solver
```
ICDCL<D extends DataStructureFactory> solver
```
- Class org.sat4j.sat.RestartCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - restartPropertiesPanel
```
JPanel restartPropertiesPanel
```
    - chooseRestartStrategyLabel
```
JLabel chooseRestartStrategyLabel
```
    - noParameterLabel
```
JLabel noParameterLabel
```
    - listeRestarts
```
JComboBox<E> listeRestarts
```
    - restartButton
```
JButton restartButton
```
    - changeRestartMode
```
JButton changeRestartMode
```
    - factorLabel
```
JLabel factorLabel
```
    - factorField
```
JTextField factorField
```
    - currentRestart
```
String currentRestart
```
    - controller
```
SolverController controller
```
    - logger
```
ILogAble logger
```
- Class org.sat4j.sat.SimplifierCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - simplificationApplyButton
```
JButton simplificationApplyButton
```
    - simplificationGroup
```
ButtonGroup simplificationGroup
```
    - simplificationNoRadio
```
JRadioButton simplificationNoRadio
```
    - simplificationSimpleRadio
```
JRadioButton simplificationSimpleRadio
```
    - simplificationExpensiveRadio
```
JRadioButton simplificationExpensiveRadio
```
- Class org.sat4j.sat.VerySimpleCommandPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - telecomStrategy
```
RemoteControlStrategy telecomStrategy
```
    - restartButton
```
JButton restartButton
```
    - cleanButton
```
JButton cleanButton
```
    - console
```
JTextArea console
```
Package org.sat4j.sat.visu
- Class org.sat4j.sat.visu.ChartBasedVisualizationTool extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - trace
```
info.monitorenter.gui.chart.ITrace2D trace
```
- Class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuPreferences
```
VisuPreferences visuPreferences
```
    - nVar
```
int nVar
```
    - gnuplotProcess
```
Process gnuplotProcess
```
    - dataPath
```
String dataPath
```
    - logger
```
ILogAble logger
```
- Class org.sat4j.sat.visu.JChartBasedSolverVisualisation extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuFrame
```
JFrame visuFrame
```
    - nVar
```
int nVar
```
    - variablesEvaluationChart
```
info.monitorenter.gui.chart.Chart2D variablesEvaluationChart
```
    - clausesEvaluationChart
```
info.monitorenter.gui.chart.Chart2D clausesEvaluationChart
```
    - learnedClausesSizeChart
```
info.monitorenter.gui.chart.Chart2D learnedClausesSizeChart
```
    - decisionLevelWhenConflictChart
```
info.monitorenter.gui.chart.Chart2D decisionLevelWhenConflictChart
```
    - trailLevelWhenConflictChart
```
info.monitorenter.gui.chart.Chart2D trailLevelWhenConflictChart
```
    - positiveDecisionVariableChart
```
info.monitorenter.gui.chart.Chart2D positiveDecisionVariableChart
```
    - negativeDecisionVariableChart
```
info.monitorenter.gui.chart.Chart2D negativeDecisionVariableChart
```
    - propagationPerSecondChart
```
info.monitorenter.gui.chart.Chart2D propagationPerSecondChart
```
    - positiveDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D positiveDecisionTrace
```
    - negativeDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D negativeDecisionTrace
```
    - restartPosDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D restartPosDecisionTrace
```
    - restartNegDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D restartNegDecisionTrace
```
    - cleanPosDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D cleanPosDecisionTrace
```
    - cleanNegDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D cleanNegDecisionTrace
```
    - learnedClausesSizeTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeTrace
```
    - learnedClausesSizeRestartTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeRestartTrace
```
    - learnedClausesSizeCleanTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeCleanTrace
```
    - conflictDepthTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthTrace
```
    - conflictDepthRestartTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthRestartTrace
```
    - conflictDepthCleanTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthCleanTrace
```
    - clausesEvaluationTrace
```
info.monitorenter.gui.chart.ITrace2D clausesEvaluationTrace
```
    - conflictLevelTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelTrace
```
    - conflictLevelRestartTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelRestartTrace
```
    - conflictLevelCleanTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelCleanTrace
```
    - heuristicsTrace
```
info.monitorenter.gui.chart.ITrace2D heuristicsTrace
```
    - speedTrace
```
info.monitorenter.gui.chart.ITrace2D speedTrace
```
    - speedCleanTrace
```
info.monitorenter.gui.chart.ITrace2D speedCleanTrace
```
    - speedRestartTrace
```
info.monitorenter.gui.chart.ITrace2D speedRestartTrace
```
    - pref
```
VisuPreferences pref
```
- Class org.sat4j.sat.visu.MyChartPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - titleLabel
```
JLabel titleLabel
```
- Class org.sat4j.sat.visu.PointPainterCross extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - crossSize
```
int crossSize
```
      The size of the cross point in pixels
- Class org.sat4j.sat.visu.PointPainterPlus extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - plusSize
```
int plusSize
```
      The size of the plus point in pixels
- Class org.sat4j.sat.visu.TraceComposite extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - traces
```
List<E> traces
```
- Class org.sat4j.sat.visu.TracePainterCross extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mPointPainter
```
PointPainterCross mPointPainter
```
      The implementation for rendering the point as a cross.
- Class org.sat4j.sat.visu.TracePainterPlus extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mPointPainter
```
PointPainterPlus mPointPainter
```
      The implementation for rendering the point as a plus.
- Class org.sat4j.sat.visu.VisuPreferencesFrame extends JFrame implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - preferences
```
VisuPreferences preferences
```
    - mainPanel
```
JPanel mainPanel
```
    - bgButton
```
JButton bgButton
```
    - borderButton
```
JButton borderButton
```
    - nbLinesReadLabel
```
JLabel nbLinesReadLabel
```
    - nbLinesTextField
```
JTextField nbLinesTextField
```
    - displayRestartsCheckBox
```
JCheckBox displayRestartsCheckBox
```
    - restartColorLabel
```
JLabel restartColorLabel
```
    - restartButton
```
JButton restartButton
```
    - slidingWindows
```
JCheckBox slidingWindows
```
    - displayDecisionIndexesCB
```
JCheckBox displayDecisionIndexesCB
```
    - displaySpeedCB
```
JCheckBox displaySpeedCB
```
    - displayConflictsTrailCB
```
JCheckBox displayConflictsTrailCB
```
    - displayConflictsDecisionCB
```
JCheckBox displayConflictsDecisionCB
```
    - displayVariablesEvaluationCB
```
JCheckBox displayVariablesEvaluationCB
```
    - displayClausesEvaluationCB
```
JCheckBox displayClausesEvaluationCB
```
    - displayClausesSizeCB
```
JCheckBox displayClausesSizeCB
```
    - gnuplotOptionsPanel
```
JPanel gnuplotOptionsPanel
```
    - generalOptionsPanel
```
JPanel generalOptionsPanel
```
Package org.sat4j.specs
- Class org.sat4j.specs.ContradictionException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.specs.TimeoutException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.tools
- Class org.sat4j.tools.AbstractClauseSelectorSolver extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lastCreatedVar
```
int lastCreatedVar
```
    - pooledVarId
```
boolean pooledVarId
```
    - external
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState external
```
    - internal
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState internal
```
    - selectedState
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState selectedState
```
- Class org.sat4j.tools.AbstractMinimalModel extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - pLiterals
```
IVecInt pLiterals
```
    - modelListener
```
SolutionFoundListener modelListener
```
- Class org.sat4j.tools.AbstractOutputSolver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbvars
```
int nbvars
```
    - nbclauses
```
int nbclauses
```
    - fixedNbClauses
```
boolean fixedNbClauses
```
    - firstConstr
```
boolean firstConstr
```
- Class org.sat4j.tools.ClausalCardinalitiesDecorator extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - encodingAdapter
```
EncodingStrategyAdapter encodingAdapter
```
- Class org.sat4j.tools.ConflictDepthTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - nVar
```
int nVar
```
    - conflictDepthVisu
```
IVisualizationTool conflictDepthVisu
```
    - conflictDepthRestartVisu
```
IVisualizationTool conflictDepthRestartVisu
```
    - conflictDepthCleanVisu
```
IVisualizationTool conflictDepthCleanVisu
```
- Class org.sat4j.tools.ConflictLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - nVar
```
int nVar
```
    - maxDLevel
```
int maxDLevel
```
    - visuTool
```
IVisualizationTool visuTool
```
    - restartVisuTool
```
IVisualizationTool restartVisuTool
```
    - cleanTool
```
IVisualizationTool cleanTool
```
- Class org.sat4j.tools.DecisionLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.DecisionTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - positiveVisu
```
IVisualizationTool positiveVisu
```
    - negativeVisu
```
IVisualizationTool negativeVisu
```
    - restartVisu
```
IVisualizationTool restartVisu
```
    - cleanVisu
```
IVisualizationTool cleanVisu
```
    - nVar
```
int nVar
```
- Class org.sat4j.tools.DimacsArrayReader extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
ISolver solver
```
- Class org.sat4j.tools.DimacsOutputSolver extends AbstractOutputSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
```
- Class org.sat4j.tools.DimacsStringSolver extends AbstractOutputSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - out
```
StringBuffer out
```
    - firstCharPos
```
int firstCharPos
```
    - initBuilderSize
```
int initBuilderSize
```
    - maxvarid
```
int maxvarid
```
- Class org.sat4j.tools.DotSearchTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - pile
```
Vec<T> pile
```
    - currentNodeName
```
String currentNodeName
```
    - estOrange
```
boolean estOrange
```
    - mapping
```
Map<K,V> mapping
```
- Class org.sat4j.tools.ExtendedDimacsArrayReader extends DimacsArrayReader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - gater
```
GateTranslator gater
```
- Class org.sat4j.tools.FileBasedVisualizationTool extends Object implements Serializable
  - Serialized Fields
    - filename
```
String filename
```
    - out
```
PrintStream out
```
- Class org.sat4j.tools.FullClauseSelectorSolver extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - constrs
```
Map<K,V> constrs
```
    - lastClause
```
IVecInt lastClause
```
    - lastConstr
```
IConstr lastConstr
```
    - skipDuplicatedEntries
```
boolean skipDuplicatedEntries
```
- Class org.sat4j.tools.GateTranslator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.GroupClauseSelectorSolver extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varToHighLevel
```
Map<K,V> varToHighLevel
```
    - highLevelToVar
```
Map<K,V> highLevelToVar
```
- Class org.sat4j.tools.HeuristicsTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.LBDTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - counter
```
int counter
```
- Class org.sat4j.tools.LearnedClauseSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - counter
```
int counter
```
- Class org.sat4j.tools.LearnedClausesSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - restartTool
```
IVisualizationTool restartTool
```
    - cleanTool
```
IVisualizationTool cleanTool
```
    - counter
```
int counter
```
    - maxSize
```
int maxSize
```
- Class org.sat4j.tools.LearnedTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.LexicoDecorator extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - criteria
```
List<E> criteria
```
    - currentCriterion
```
int currentCriterion
```
    - prevConstr
```
IConstr prevConstr
```
    - currentValue
```
Number currentValue
```
    - prevfullmodel
```
int[] prevfullmodel
```
    - prevboolmodel
```
boolean[] prevboolmodel
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
- Class org.sat4j.tools.ManyCore extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - availableSolvers
```
String[] availableSolvers
```
    - solvers
```
List<E> solvers
```
    - numberOfSolvers
```
int numberOfSolvers
```
    - winnerId
```
int winnerId
```
    - resultFound
```
boolean resultFound
```
    - remainingSolvers
```
AtomicInteger remainingSolvers
```
    - sleepTime
```
int sleepTime
```
    - solved
```
boolean solved
```
    - solversStats
```
IVec<T> solversStats
```
- Class org.sat4j.tools.Minimal4CardinalityModel extends AbstractMinimalModel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevfullmodel
```
int[] prevfullmodel
```
- Class org.sat4j.tools.Minimal4InclusionModel extends AbstractMinimalModel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevfullmodel
```
int[] prevfullmodel
```
- Class org.sat4j.tools.ModelIterator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - trivialfalsity
```
boolean trivialfalsity
```
    - bound
```
long bound
```
    - nbModelFound
```
long nbModelFound
```
- Class org.sat4j.tools.ModelIteratorToSATAdapter extends ModelIterator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lastModel
```
int[] lastModel
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.MultiTracing extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - listeners
```
Collection<E> listeners
```
- Class org.sat4j.tools.NegationDecorator extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - addedVars
```
Collection<E> addedVars
```
- Class org.sat4j.tools.OptToSatAdapter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - problem
```
IOptimizationProblem problem
```
    - modelComputed
```
boolean modelComputed
```
    - optimalValueForced
```
boolean optimalValueForced
```
- Class org.sat4j.tools.SearchEnumeratorListener extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - nbsolutions
```
int nbsolutions
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.SearchListenerAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.SearchMinOneListener extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.SingleSolutionDetector extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.SolutionCounter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lowerBound
```
int lowerBound
```
- Class org.sat4j.tools.SolverDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
ISolver solver
```
- Class org.sat4j.tools.SpeedTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - cleanVisuTool
```
IVisualizationTool cleanVisuTool
```
    - restartVisuTool
```
IVisualizationTool restartVisuTool
```
    - begin
```
long begin
```
    - end
```
long end
```
    - counter
```
int counter
```
    - index
```
long index
```
    - maxY
```
double maxY
```
- Class org.sat4j.tools.StatisticsSolver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - expectedNumberOfConstraints
```
int expectedNumberOfConstraints
```
      Number of constraints in the problem
    - nbvars
```
int nbvars
```
      Number of declared vars (max var id)
    - sizeoccurrences
```
IVecInt[] sizeoccurrences
```
      Size of the constraints for each occurrence of each var for each polarity
    - allpositive
```
int allpositive
```
    - allnegative
```
int allnegative
```
    - horn
```
int horn
```
    - dualhorn
```
int dualhorn
```
    - sizes
```
Map<K,V> sizes
```
      Distribution of clauses size
- Class org.sat4j.tools.TextOutputTracing extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mapping
```
Map<K,V> mapping
```
Package org.sat4j.tools.encoding
- Class org.sat4j.tools.encoding.Binary extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Binomial extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Commander extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.EncodingStrategyAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Ladder extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Policy extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - seq
```
Sequential seq
```
    - binary
```
Binary binary
```
    - product
```
Product product
```
    - commander
```
Commander commander
```
    - binomial
```
Binomial binomial
```
    - ladder
```
Ladder ladder
```
    - atMostOneEncoding
```
EncodingStrategyAdapter atMostOneEncoding
```
    - atMostKEncoding
```
EncodingStrategyAdapter atMostKEncoding
```
    - exactlyOneEncoding
```
EncodingStrategyAdapter exactlyOneEncoding
```
    - exactlyKEncoding
```
EncodingStrategyAdapter exactlyKEncoding
```
    - atLeastOneEncoding
```
EncodingStrategyAdapter atLeastOneEncoding
```
    - atLeastKEncoding
```
EncodingStrategyAdapter atLeastKEncoding
```
- Class org.sat4j.tools.encoding.Product extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Sequential extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.tools.xplain
- Class org.sat4j.tools.xplain.DeletionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.HighLevelXplain extends GroupClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - assump
```
IVecInt assump
```
    - xplainStrategy
```
MinimizationStrategy xplainStrategy
```
- Class org.sat4j.tools.xplain.InsertionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.QuickXplain2001Strategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.QuickXplainStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.Xplain extends FullClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - assump
```
IVecInt assump
```
    - xplainStrategy
```
MinimizationStrategy xplainStrategy
```

Serialized Form

Package org.sat4j.core

Class org.sat4j.core.ASolverFactory extends Object implements Serializable

Class org.sat4j.core.DefaultComparator extends Object implements Serializable

Class org.sat4j.core.ReadOnlyVec extends Object implements Serializable

Serialized Fields

vec

Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable

Serialized Fields

vec

Class org.sat4j.core.Vec extends Object implements Serializable

Serialized Fields

nbelem

myarray

Class org.sat4j.core.VecInt extends Object implements Serializable

Serialized Fields

nbelem

myarray

Package org.sat4j.csp

Class org.sat4j.csp.CSPLauncher extends AbstractLauncher implements Serializable

Class org.sat4j.csp.SolverFactory extends ASolverFactory<ISolver> implements Serializable

Package org.sat4j.maxsat

Class org.sat4j.maxsat.GenericOptLauncher extends AbstractLauncher implements Serializable

Serialized Fields

wmsd

Class org.sat4j.maxsat.MinCostDecorator extends PBSolverDecorator implements Serializable

Serialized Fields

costs

prevmodel

vars

coeffs

objectivevalue

prevConstr

isSolutionOptimal

Class org.sat4j.maxsat.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable

Class org.sat4j.maxsat.WeightedMaxSatDecorator extends PBSolverDecorator implements Serializable

Serialized Fields

nbnewvar

falsifiedWeight

maxVarIdFixed

equivalence

lits

coefs

obj

unitClauses

noNewVarForUnitSoftClauses

top

Package org.sat4j.maxsat.reader

Class org.sat4j.maxsat.reader.WDimacsReader extends DimacsReader implements Serializable

Serialized Fields

weight

top

decorator

Package org.sat4j.minisat

Class org.sat4j.minisat.SolverFactory extends ASolverFactory<ISolver> implements Serializable

Package org.sat4j.minisat.constraints

Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends Object implements Serializable

Serialized Fields

lits

tmp

solver

learner

Class org.sat4j.minisat.constraints.CardinalityDataStructure extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends AbstractDataStructureFactory implements Serializable

Package org.sat4j.minisat.constraints.card

Class org.sat4j.minisat.constraints.card.AtLeast extends Object implements Serializable

Serialized Fields

maxUnsatisfied

counter

lits

voc

Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable

Serialized Fields

degree