OpenGrok

META-INF/MANIFEST.MF
META-INF/ECLIPSE_.SF
META-INF/ECLIPSE_.RSA
META-INF/
org/
org/sat4j/
org/sat4j/opt/
org/sat4j/tools/
org/sat4j/tools/xplain/
org/sat4j/tools/encoding/
org/sat4j/reader/
org/sat4j/specs/
org/sat4j/core/
org/sat4j/minisat/
org/sat4j/minisat/constraints/
org/sat4j/minisat/constraints/cnf/
org/sat4j/minisat/constraints/card/
org/sat4j/minisat/learning/
org/sat4j/minisat/orders/
org/sat4j/minisat/core/
org/sat4j/minisat/restarts/
overview.html
org/sat4j/messages.properties
org/sat4j/ILauncherMode.class
ILauncherMode.java
package org.sat4j
public abstract org.sat4j.ILauncherMode extends java.lang.Object implements org.sat4j.tools.SolutionFoundListener  {
	public static final String SOLUTION_PREFIX
	public static final String ANSWER_PREFIX
	public static final String CURRENT_OPTIMUM_VALUE_PREFIX
	public static final org.sat4j.ILauncherMode DECISION
	public static final org.sat4j.ILauncherMode OPTIMIZATION
	static void  () 
	public abstract void displayResult (org.sat4j.specs.ISolver, org.sat4j.specs.IProblem, org.sat4j.specs.ILogAble, java.io.PrintWriter, org.sat4j.reader.Reader, long, boolean) 
	public abstract void solve (org.sat4j.specs.IProblem, org.sat4j.reader.Reader, org.sat4j.specs.ILogAble, java.io.PrintWriter, long) 
	public abstract void setIncomplete (boolean) 
	public abstract org.sat4j.ExitCode getCurrentExitCode () 
	public abstract void setExitCode (org.sat4j.ExitCode) 
}

org/sat4j/opt/AbstractSelectorVariablesDecorator.class
AbstractSelectorVariablesDecorator.java
package org.sat4j.opt
public abstract org.sat4j.opt.AbstractSelectorVariablesDecorator extends org.sat4j.tools.SolverDecorator implements org.sat4j.specs.IOptimizationProblem  {
	private static final long serialVersionUID
	private int nbexpectedclauses
	private int[] prevfullmodel
	private int[] prevmodel
	private boolean[] prevboolmodel
	private boolean isSolutionOptimal
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void setExpectedNumberOfClauses (int) 
		int nb
	public int getExpectedNumberOfClauses () 
	public boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean result
		int i
	abstract void calculateObjectiveValue () 
	public int[] model () 
	public boolean model (int) 
		int var
	public boolean isOptimal () 
	public int getNbexpectedclauses () 
	public void setNbexpectedclauses (int) 
		int nbexpectedclauses
	public int[] getPrevfullmodel () 
	public void setPrevfullmodel (int[]) 
		int[] prevfullmodel
	public int[] getPrevmodel () 
	public void setPrevmodel (int[]) 
		int[] prevmodel
	public boolean[] getPrevboolmodel () 
	public void setPrevboolmodel (boolean[]) 
		boolean[] prevboolmodel
	public boolean isSolutionOptimal () 
	public void setSolutionOptimal (boolean) 
		boolean isSolutionOptimal
}

org/sat4j/opt/package-info.class
package-info.java
package org.sat4j.opt
abstract org.sat4j.opt.package-info extends java.lang.Object {
}

org/sat4j/opt/MinOneDecorator.class
MinOneDecorator.java
package org.sat4j.opt
public final org.sat4j.opt.MinOneDecorator extends org.sat4j.tools.SolverDecorator implements org.sat4j.specs.IOptimizationProblem  {
	private static final long serialVersionUID
	private int[] prevmodel
	private int[] prevmodelWithInternalVariables
	private boolean isSolutionOptimal
	private int counter
	private final org.sat4j.specs.IVecInt literals
	private org.sat4j.specs.IConstr previousConstr
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean result
	public boolean hasNoObjectiveFunction () 
	public boolean nonOptimalMeansSatisfiable () 
	public java.lang.Number calculateObjective () 
	private void calculateObjectiveValue () 
		int p
	public void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
		int i
	public int[] model () 
	public int[] modelWithInternalVariables () 
	public void reset () 
	public java.lang.Number getObjectiveValue () 
	public void discard ()  throws org.sat4j.specs.ContradictionException 
	public void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
		Number forcedValue
		org.sat4j.specs.ContradictionException ce
	public boolean isOptimal () 
	public void setTimeoutForFindingBetterSolution (int) 
		int seconds
}

org/sat4j/opt/MaxSatDecorator.class
MaxSatDecorator.java
package org.sat4j.opt
public final org.sat4j.opt.MaxSatDecorator extends org.sat4j.opt.AbstractSelectorVariablesDecorator {
	private static final long serialVersionUID
	private final boolean equivalence
	private final org.sat4j.specs.IVecInt lits
	private int counter
	private org.sat4j.specs.IConstr prevConstr
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, boolean) 
		org.sat4j.specs.ISolver solver
		boolean equivalence
	public void setExpectedNumberOfClauses (int) 
		int nb
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int newvar
		org.sat4j.core.ConstrGroup constrs
		org.sat4j.specs.IVecInt clause
		int i
	public void reset () 
	public boolean hasNoObjectiveFunction () 
	public boolean nonOptimalMeansSatisfiable () 
	public java.lang.Number calculateObjective () 
	public void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ContradictionException ce
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean result
	public void discard ()  throws org.sat4j.specs.ContradictionException 
	public java.lang.Number getObjectiveValue () 
	void calculateObjectiveValue () 
		int q
	public void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
		Number forcedValue
	public void setTimeoutForFindingBetterSolution (int) 
		int seconds
}

org/sat4j/tools/xplain/Xplain.class
Xplain.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.Xplain extends org.sat4j.tools.FullClauseSelectorSolver implements org.sat4j.tools.xplain.Explainer  {
	private org.sat4j.specs.IVecInt assump
	private org.sat4j.tools.xplain.MinimizationStrategy xplainStrategy
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver, boolean) 
		org.sat4j.specs.ISolver solver
		boolean skipDuplicatedEntries
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	private org.sat4j.specs.IVecInt explanationKeys ()  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
	public int[] minimalExplanation ()  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt keys
		java.util.List allKeys
		int[] model
		int i
		org.sat4j.specs.IteratorInt it
	public java.util.Collection explain ()  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt keys
		java.util.Collection explanation
		org.sat4j.specs.IteratorInt it
	public void cancelExplanation () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
	public java.lang.String toString (java.lang.String) 
		String prefix
	public void setMinimizationStrategy (org.sat4j.tools.xplain.MinimizationStrategy) 
		org.sat4j.tools.xplain.MinimizationStrategy strategy
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
}

org/sat4j/tools/xplain/QuickXplainStrategy.class
QuickXplainStrategy.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.QuickXplainStrategy extends java.lang.Object implements org.sat4j.tools.xplain.MinimizationStrategy  {
	private static final long serialVersionUID
	private boolean computationCanceled
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		java.util.Map constrs
		org.sat4j.specs.IVecInt assumps
		org.sat4j.specs.IVecInt encodingAssumptions
		org.sat4j.specs.IVecInt firstExplanation
		org.sat4j.specs.IVecInt results
		org.sat4j.specs.IteratorInt it
		int i
		java.util.Set constraintsVariables
		org.sat4j.specs.IVecInt remainingVariables
		Integer v
		int p
		org.sat4j.specs.IteratorInt it
		int unsatcorelimit
	private void computeExplanation (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt, int, int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		java.util.Map constrs
		org.sat4j.specs.IVecInt encodingAssumptions
		int start
		int end
		org.sat4j.specs.IVecInt result
		int split
		int j
		int j
	public java.lang.String toString () 
}

org/sat4j/tools/xplain/HighLevelXplain.class
HighLevelXplain.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.HighLevelXplain extends org.sat4j.tools.GroupClauseSelectorSolver implements org.sat4j.tools.xplain.Explainer  {
	private org.sat4j.specs.IVecInt assump
	private org.sat4j.tools.xplain.MinimizationStrategy xplainStrategy
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	private org.sat4j.specs.IVecInt explanationKeys ()  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
	public int[] minimalExplanation ()  throws org.sat4j.specs.TimeoutException 
		java.util.Collection components
		int[] model
		int i
		int c
	public java.util.Collection explain ()  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt keys
		java.util.Collection explanation
		org.sat4j.specs.IteratorInt it
	public void cancelExplanation () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
	public java.lang.String toString (java.lang.String) 
		String prefix
	public void setMinimizationStrategy (org.sat4j.tools.xplain.MinimizationStrategy) 
		org.sat4j.tools.xplain.MinimizationStrategy strategy
}

org/sat4j/tools/xplain/Explainer.class
Explainer.java
package org.sat4j.tools.xplain
public abstract org.sat4j.tools.xplain.Explainer extends java.lang.Object {
	public abstract int[] minimalExplanation ()  throws org.sat4j.specs.TimeoutException 
	public abstract void setMinimizationStrategy (org.sat4j.tools.xplain.MinimizationStrategy) 
}

org/sat4j/tools/xplain/MinimizationStrategy.class
MinimizationStrategy.java
package org.sat4j.tools.xplain
public abstract org.sat4j.tools.xplain.MinimizationStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract void cancelExplanationComputation () 
}

org/sat4j/tools/xplain/InsertionStrategy.class
InsertionStrategy.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.InsertionStrategy extends java.lang.Object implements org.sat4j.tools.xplain.MinimizationStrategy  {
	private static final long serialVersionUID
	private boolean computationCanceled
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		java.util.Map constrs
		org.sat4j.specs.IVecInt assumps
		org.sat4j.specs.IVecInt encodingAssumptions
		org.sat4j.specs.IVecInt firstExplanation
		org.sat4j.specs.IVecInt results
		org.sat4j.specs.IteratorInt it
		int i
		java.util.Set constraintsVariables
		org.sat4j.specs.IVecInt remainingVariables
		Integer v
		int p
		org.sat4j.specs.IteratorInt it
		boolean shouldContinue
		int startingPoint
		int i
		int tmp
		int j
		org.sat4j.specs.IVecInt constrsKeys
		int i
	public java.lang.String toString () 
}

org/sat4j/tools/xplain/DeletionStrategy.class
DeletionStrategy.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.DeletionStrategy extends java.lang.Object implements org.sat4j.tools.xplain.MinimizationStrategy  {
	private static final long serialVersionUID
	private boolean computationCanceled
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		java.util.Map constrs
		org.sat4j.specs.IVecInt assumps
		org.sat4j.specs.IVecInt encodingAssumptions
		org.sat4j.specs.IVecInt firstExplanation
		org.sat4j.specs.IVecInt results
		org.sat4j.specs.IteratorInt it
		int i
		java.util.Set constraintsVariables
		org.sat4j.specs.IVecInt remainingVariables
		Integer v
		int p
		org.sat4j.specs.IteratorInt it
		int unsatcorebegin
		int unsatcorelimit
		int i
	public java.lang.String toString () 
}

org/sat4j/tools/xplain/package-info.class
package-info.java
package org.sat4j.tools.xplain
abstract org.sat4j.tools.xplain.package-info extends java.lang.Object {
}

org/sat4j/tools/xplain/QuickXplain2001Strategy.class
QuickXplain2001Strategy.java
package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.QuickXplain2001Strategy extends java.lang.Object implements org.sat4j.tools.xplain.MinimizationStrategy  {
	private static final long serialVersionUID
	private boolean computationCanceled
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		java.util.Map constrs
		org.sat4j.specs.IVecInt assumps
		org.sat4j.specs.IVecInt encodingAssumptions
		org.sat4j.specs.IVecInt firstExplanation
		org.sat4j.specs.IteratorInt it
		java.util.Set constraintsVariables
		int p
		int i
		org.sat4j.specs.IVecInt results
	private void computeExplanation (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int, int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt encodingAssumptions
		int start
		int end
		org.sat4j.specs.IVecInt result
		int i
		int j
		int newend
		int split
		int j
		int j
	public java.lang.String toString () 
}

org/sat4j/tools/RupSearchListener.class
RupSearchListener.java
package org.sat4j.tools
public org.sat4j.tools.RupSearchListener extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private java.io.PrintStream out
	private final java.io.File file
	public void  (java.lang.String) 
		String filename
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
		int i
	public void learnUnit (int) 
		int p
}

org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class
AbstractClauseSelectorSolver.java
package org.sat4j.tools
abstract org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState extends java.lang.Object {
	public abstract boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
}

org/sat4j/tools/LBDTracing.class
LBDTracing.java
package org.sat4j.tools
public org.sat4j.tools.LBDTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.tools.IVisualizationTool visuTool
	private int counter
	public void  (org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
}

org/sat4j/tools/LearnedClausesSizeTracing.class
LearnedClausesSizeTracing.java
package org.sat4j.tools
public org.sat4j.tools.LearnedClausesSizeTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.tools.IVisualizationTool visuTool
	private final org.sat4j.tools.IVisualizationTool restartTool
	private final org.sat4j.tools.IVisualizationTool cleanTool
	private int counter
	private int maxSize
	public void  (org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
		org.sat4j.tools.IVisualizationTool restartTool
		org.sat4j.tools.IVisualizationTool cleanTool
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
		int s
	public void start () 
	public void restarting () 
	public void cleaning () 
}

org/sat4j/tools/DimacsArrayReader.class
DimacsArrayReader.java
package org.sat4j.tools
public org.sat4j.tools.DimacsArrayReader extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	protected final org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	protected boolean handleConstr (int, int, int[])  throws org.sat4j.specs.ContradictionException 
		int gateType
		int output
		int[] inputs
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.ISolver parseInstance (int[], int[], int[][], int)  throws org.sat4j.specs.ContradictionException 
		int[] gateType
		int[] outputs
		int[][] inputs
		int maxVar
		int i
	public java.lang.String decode (int[]) 
		int[] model
		StringBuffer stb
		int element
	protected org.sat4j.specs.ISolver getSolver () 
}

org/sat4j/tools/SearchListenerAdapter.class
SearchListenerAdapter.java
package org.sat4j.tools
public abstract org.sat4j.tools.SearchListenerAdapter extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	public void  () 
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void assuming (int) 
		int p
	public void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
	public void backtracking (int) 
		int p
	public void adding (int) 
		int p
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public void learnUnit (int) 
		int p
	public void delete (int[]) 
		int[] clause
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void conflictFound (int) 
		int p
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public void beginLoop () 
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void restarting () 
	public void backjump (int) 
		int backjumpLevel
	public void cleaning () 
}

org/sat4j/tools/DecisionTracing.class
DecisionTracing.java
package org.sat4j.tools
public org.sat4j.tools.DecisionTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private int counter
	private final org.sat4j.tools.IVisualizationTool positiveVisu
	private final org.sat4j.tools.IVisualizationTool negativeVisu
	private final org.sat4j.tools.IVisualizationTool restartVisu
	private final org.sat4j.tools.IVisualizationTool cleanVisu
	private int nVar
	public void  (org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool positiveVisu
		org.sat4j.tools.IVisualizationTool negativeVisu
		org.sat4j.tools.IVisualizationTool restartVisu
		org.sat4j.tools.IVisualizationTool cleanVisu
	public void assuming (int) 
		int p
	public void restarting () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void start () 
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/tools/ModelIteratorToSATAdapter.class
ModelIteratorToSATAdapter.java
package org.sat4j.tools
public org.sat4j.tools.ModelIteratorToSATAdapter extends org.sat4j.tools.ModelIterator {
	private static final long serialVersionUID
	private int[] lastModel
	private final org.sat4j.tools.SolutionFoundListener sfl
	public void  (org.sat4j.specs.ISolver, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.SolutionFoundListener sfl
	public void  (org.sat4j.specs.ISolver, long, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		long bound
		org.sat4j.tools.SolutionFoundListener sfl
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
		boolean isSat
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean isSat
	public int[] model () 
}

org/sat4j/tools/SolutionCounter.class
SolutionCounter.java
package org.sat4j.tools
public org.sat4j.tools.SolutionCounter extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private int lowerBound
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public int lowerBound () 
	public long countSolutions ()  throws org.sat4j.specs.TimeoutException 
		boolean trivialfalsity
		int[] last
		org.sat4j.specs.IVecInt clause
		int q
}

org/sat4j/tools/encoding/EncodingStrategy.class
EncodingStrategy.java
package org.sat4j.tools.encoding
public final org.sat4j.tools.encoding.EncodingStrategy extends java.lang.Enum {
	public static final org.sat4j.tools.encoding.EncodingStrategy BINARY
	public static final org.sat4j.tools.encoding.EncodingStrategy BINOMIAL
	public static final org.sat4j.tools.encoding.EncodingStrategy COMMANDER
	public static final org.sat4j.tools.encoding.EncodingStrategy LADDER
	public static final org.sat4j.tools.encoding.EncodingStrategy PRODUCT
	public static final org.sat4j.tools.encoding.EncodingStrategy SEQUENTIAL
	public static final org.sat4j.tools.encoding.EncodingStrategy NATIVE
	private String name
	private static final org.sat4j.tools.encoding.EncodingStrategy[] ENUM$VALUES
	static void  () 
	private void  (java.lang.String, int, java.lang.String) 
		String name
	public java.lang.String toString () 
	public static org.sat4j.tools.encoding.EncodingStrategy[] values () 
	public static org.sat4j.tools.encoding.EncodingStrategy valueOf (java.lang.String) 
}

org/sat4j/tools/encoding/EncodingStrategyAdapter.class
EncodingStrategyAdapter.java
package org.sat4j.tools.encoding
public abstract org.sat4j.tools.encoding.EncodingStrategyAdapter extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		int n
		org.sat4j.specs.IVecInt newLiterals
		int i
	public org.sat4j.specs.IConstr addAtLeastOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
	public java.lang.String toString () 
}

org/sat4j/tools/encoding/Binomial.class
Binomial.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Binomial extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
		org.sat4j.specs.IVecInt clause
		org.sat4j.specs.IVecInt vec
		int i
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		org.sat4j.specs.IVecInt clause
		int i
		int j
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
}

org/sat4j/tools/encoding/Commander.class
Commander.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Commander extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
	private org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int groupSize
		org.sat4j.core.ConstrGroup constrGroup
		org.sat4j.specs.IVecInt clause
		org.sat4j.specs.IVecInt clause1
		int n
		int nbGroup
		int i
		int j
		int[] c
		int i
		int nbVarLastGroup
		int i
		int size
		int j
		int k
		int j
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
}

org/sat4j/tools/encoding/Product.class
Product.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Product extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMostNonOpt (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int k
		org.sat4j.core.ConstrGroup group
		org.sat4j.specs.IVecInt clause
		int n
		int i
		org.sat4j.tools.encoding.Binomial binomial
		int p
		int[][] a
		int[] result
		java.util.ArrayList dejaPris
		int tmp
		int i
		int i
		java.util.ArrayList[] hashTupleSetTable
		int[][][] aWithoutD
		int hash
		java.util.HashMap[] ady
		org.sat4j.core.VecInt[] adxd
		int varId
		int d
		int i
		int j
		int d
		int i
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int k
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		org.sat4j.specs.IVecInt clause
		int n
		org.sat4j.tools.encoding.Binomial binomial
		int p
		int q
		int[] u
		int[] v
		int i
		int i
		int cpt
		int i
		int j
	private int[] decompositionBase10VersBaseP (int, int, int) 
		int n
		int p
		int nbBits
		int[] result
		int reste
		int pow
		int quotient
		int j
	private int recompositionBase10DepuisBaseP (int[], int) 
		int[] tab
		int p
		int result
		int i
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
}

org/sat4j/tools/encoding/Binary.class
Binary.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Binary extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		int n
		int p
		int k
		org.sat4j.specs.IVecInt clause
		String binary
		int[] y
		int i
		int i
		int j
		int i
		int j
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int k
		int n
		int p
		org.sat4j.core.ConstrGroup group
		int[][] b
		int i
		int j
		int[][] t
		int i
		int j
		int max
		int min
		org.sat4j.specs.IVecInt clause1
		org.sat4j.specs.IVecInt clause2
		String binary
		int i
		int g
		int j
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
}

org/sat4j/tools/encoding/package-info.class
package-info.java
package org.sat4j.tools.encoding
abstract org.sat4j.tools.encoding.package-info extends java.lang.Object {
}

org/sat4j/tools/encoding/Sequential.class
Sequential.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Sequential extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int k
		org.sat4j.core.ConstrGroup group
		int n
		int[][] s
		int j
		int i
		org.sat4j.specs.IVecInt clause
		int j
		int i
		int j
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
}

org/sat4j/tools/encoding/Policy.class
Policy.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Policy extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	private final org.sat4j.tools.encoding.Sequential seq
	private final org.sat4j.tools.encoding.Binary binary
	private final org.sat4j.tools.encoding.Product product
	private final org.sat4j.tools.encoding.Commander commander
	private final org.sat4j.tools.encoding.Binomial binomial
	private final org.sat4j.tools.encoding.Ladder ladder
	private org.sat4j.tools.encoding.EncodingStrategyAdapter atMostOneEncoding
	private org.sat4j.tools.encoding.EncodingStrategyAdapter atMostKEncoding
	private org.sat4j.tools.encoding.EncodingStrategyAdapter exactlyOneEncoding
	private org.sat4j.tools.encoding.EncodingStrategyAdapter exactlyKEncoding
	private org.sat4j.tools.encoding.EncodingStrategyAdapter atLeastOneEncoding
	private org.sat4j.tools.encoding.EncodingStrategyAdapter atLeastKEncoding
	private static int[] $SWITCH_TABLE$org$sat4j$tools$encoding$EncodingStrategy
	public void  () 
	private org.sat4j.tools.encoding.EncodingStrategyAdapter getAdapterFromEncodingName (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy encodingName
	private org.sat4j.tools.encoding.EncodingStrategy getEncodingTypeFromAdapter (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter adapter
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getAtMostOneEncoding () 
	public void setAtMostOneEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter atMostOneEncoding
	public void setAtMostOneEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy atMostOneEncoding
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getAtMostKEncoding () 
	public void setAtMostKEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter atMostKEncoding
	public void setAtMostKEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy atMostKEncoding
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getExactlyOneEncoding () 
	public void setExactlyOneEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter exactlyOneEncoding
	public void setExactlyOneEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy exactlyOneEncoding
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getExactlyKEncoding () 
	public void setExactlyKEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter exactlyKEncoding
	public void setExactlyKEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy exactlyKEncoding
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getAtLeastOneEncoding () 
	public void setAtLeastOneEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter atLeastOneEncoding
	public void setAtLeastOneEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy atLeastOneEncoding
	public org.sat4j.tools.encoding.EncodingStrategyAdapter getAtLeastKEncoding () 
	public void setAtLeastKEncoding (org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.tools.encoding.EncodingStrategyAdapter atLeastKEncoding
	public void setAtLeastKEncoding (org.sat4j.tools.encoding.EncodingStrategy) 
		org.sat4j.tools.encoding.EncodingStrategy atLeastKEncoding
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int k
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int n
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int n
	public java.lang.String toString () 
		String s
	static int[] $SWITCH_TABLE$org$sat4j$tools$encoding$EncodingStrategy () 
}

org/sat4j/tools/encoding/Ladder.class
Ladder.java
package org.sat4j.tools.encoding
public org.sat4j.tools.encoding.Ladder extends org.sat4j.tools.encoding.EncodingStrategyAdapter {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.specs.IConstr addAtMostOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		int n
		int xN
		int[] y
		int i
		org.sat4j.specs.IVecInt clause
		int i
		int i
		int i
		int i
	public org.sat4j.specs.IConstr addExactlyOne (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		int n
		org.sat4j.specs.IVecInt clause
		int[] y
		int i
		int i
		int i
		int i
		int i
}

org/sat4j/tools/ConflictDepthTracing.class
ConflictDepthTracing.java
package org.sat4j.tools
public org.sat4j.tools.ConflictDepthTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private int counter
	private int nVar
	private final org.sat4j.tools.IVisualizationTool conflictDepthVisu
	private final org.sat4j.tools.IVisualizationTool conflictDepthRestartVisu
	private final org.sat4j.tools.IVisualizationTool conflictDepthCleanVisu
	public void  (org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool conflictDepthVisu
		org.sat4j.tools.IVisualizationTool conflictDepthRestartVisu
		org.sat4j.tools.IVisualizationTool conflictDepthCleanVisu
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void start () 
	public void restarting () 
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/tools/SolutionFoundListener$1.class
SolutionFoundListener.java
package org.sat4j.tools
 org.sat4j.tools.SolutionFoundListener$1 extends java.lang.Object implements org.sat4j.tools.SolutionFoundListener  {
	void  () 
	public void onSolutionFound (int[]) 
		int[] model
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
	public void onUnsatTermination () 
}

org/sat4j/tools/FullClauseSelectorSolver.class
FullClauseSelectorSolver.java
package org.sat4j.tools
public org.sat4j.tools.FullClauseSelectorSolver extends org.sat4j.tools.AbstractClauseSelectorSolver {
	private static final long serialVersionUID
	private final java.util.Map constrs
	private final org.sat4j.specs.IVecInt lastClause
	private org.sat4j.specs.IConstr lastConstr
	private final boolean skipDuplicatedEntries
	public void  (org.sat4j.specs.ISolver, boolean) 
		org.sat4j.specs.ISolver solver
		boolean skipDuplicatedEntries
	public org.sat4j.specs.IConstr addControlableClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int newvar
	public org.sat4j.specs.IConstr addNonControlableClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public int[] model () 
		int[] fullmodel
		int[] model
		int j
		int element
	public java.util.Collection getConstraints () 
	public java.util.Collection getAddedVars () 
	public org.sat4j.specs.IConstr getLastConstr () 
	public void setLastConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr lastConstr
	public java.util.Map getConstrs () 
	public org.sat4j.specs.IVecInt getLastClause () 
	public boolean isSkipDuplicatedEntries () 
}

org/sat4j/tools/TextOutputTracing.class
TextOutputTracing.java
package org.sat4j.tools
public org.sat4j.tools.TextOutputTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final java.util.Map mapping
	public void  (java.util.Map) 
		java.util.Map mapping
	private java.lang.String node (int) 
		int dimacs
		int var
		Object t
	public void assuming (int) 
		int p
	public void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
	public void backtracking (int) 
		int p
	public void adding (int) 
		int p
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr clause
	public void learnUnit (int) 
		int p
	public void delete (int[]) 
		int[] clause
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void conflictFound (int) 
		int p
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public void beginLoop () 
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void restarting () 
	public void backjump (int) 
		int backjumpLevel
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/tools/NegationDecorator.class
NegationDecorator.java
package org.sat4j.tools
public org.sat4j.tools.NegationDecorator extends org.sat4j.tools.AbstractClauseSelectorSolver {
	private static final long serialVersionUID
	private final java.util.Collection addedVars
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver decorated
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int newVar
		org.sat4j.specs.IVecInt clause
		org.sat4j.core.ConstrGroup group
		org.sat4j.specs.IteratorInt it
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
		org.sat4j.specs.IVecInt vars
		int var
		org.sat4j.specs.IConstr constr
		boolean returnValue
		boolean returnValue
	public java.util.Collection getAddedVars () 
}

org/sat4j/tools/StatisticsSolver.class
StatisticsSolver.java
package org.sat4j.tools
public org.sat4j.tools.StatisticsSolver extends java.lang.Object implements org.sat4j.specs.ISolver  {
	private static final String NOT_IMPLEMENTED_YET
	private static final String THAT_SOLVER_ONLY_COMPUTE_STATISTICS
	private static final long serialVersionUID
	private int expectedNumberOfConstraints
	private int nbvars
	private org.sat4j.specs.IVecInt[] sizeoccurrences
	private int allpositive
	private int allnegative
	private int horn
	private int dualhorn
	private final java.util.Map sizes
	public void  () 
	public int[] model () 
	public boolean model (int) 
		int var
	public int[] primeImplicant () 
	public boolean primeImplicant (int) 
		int p
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean globalTimeout
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean globalTimeout
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public int nConstraints () 
	public int newVar (int) 
		int howmany
	public int nVars () 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
	public int newVar () 
	public int nextFreeVarId (boolean) 
		boolean reserve
	public void registerLiteral (int) 
		int p
	public void setExpectedNumberOfClauses (int) 
		int nb
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int size
		org.sat4j.minisat.core.Counter counter
		org.sat4j.specs.IVecInt list
		int x
		int p
		int pos
		int neg
		org.sat4j.specs.IteratorInt it
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVec clauses
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public void setTimeout (int) 
		int t
	public void setTimeoutOnConflicts (int) 
		int count
	public void setTimeoutMs (long) 
		long t
	public int getTimeout () 
	public long getTimeoutMs () 
	public void expireTimeout () 
	public void reset () 
	public void printStat (java.io.PrintStream, java.lang.String) 
		java.io.PrintStream out
		String prefix
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
		int realNumberOfVariables
		int realNumberOfLiterals
		int pureLiterals
		int minOccV
		int maxOccV
		int sumV
		int sizeL
		int sizeV
		int minOccL
		int maxOccL
		int sumL
		org.sat4j.specs.IVecInt list
		boolean oneNull
		int max
		int i
		int k
		int nbclauses
		java.util.Map$Entry entry
	public java.util.Map getStat () 
	public java.lang.String toString (java.lang.String) 
		String prefix
	public void clearLearntClauses () 
	public void setDBSimplificationAllowed (boolean) 
		boolean status
	public boolean isDBSimplificationAllowed () 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
		org.sat4j.specs.SearchListener sl
	public org.sat4j.specs.SearchListener getSearchListener () 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
		boolean value
	public void setLogPrefix (java.lang.String) 
		String prefix
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	public int[] modelWithInternalVariables () 
	public int realNumberOfVariables () 
	public boolean isSolverKeptHot () 
	public void setKeepSolverHot (boolean) 
		boolean keepHot
	public org.sat4j.specs.ISolver getSolvingEngine () 
	public void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
		org.sat4j.specs.UnitClauseProvider ucp
}

org/sat4j/tools/ManyCore.class
ManyCore.java
package org.sat4j.tools
public org.sat4j.tools.ManyCore extends org.sat4j.tools.SearchListenerAdapter implements org.sat4j.specs.ISolver org.sat4j.tools.OutcomeListener org.sat4j.specs.UnitClauseProvider  {
	private static final int NORMAL_SLEEP
	private static final int FAST_SLEEP
	private static final long serialVersionUID
	private final String[] availableSolvers
	protected final java.util.List solvers
	protected final int numberOfSolvers
	private int winnerId
	private boolean resultFound
	private java.util.concurrent.atomic.AtomicInteger remainingSolvers
	private volatile int sleepTime
	private volatile boolean solved
	private final org.sat4j.specs.IVecInt sharedUnitClauses
	private final org.sat4j.specs.IVec solversStats
	static final boolean $assertionsDisabled
	static void  () 
	public transient void  (org.sat4j.core.ASolverFactory, java.lang.String[]) 
		org.sat4j.core.ASolverFactory factory
		String[] solverNames
		org.sat4j.specs.ISolver solver
		int i
	public transient void  (java.lang.String[], org.sat4j.specs.ISolver[]) 
		String[] names
		org.sat4j.specs.ISolver[] solverObjects
		int i
	public transient void  (org.sat4j.specs.ISolver[]) 
		org.sat4j.specs.ISolver[] solverObjects
		int i
		int i
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVec clauses
		int i
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
		int i
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.core.ConstrGroup group
		int i
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
		org.sat4j.core.ConstrGroup group
		int i
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		int i
	public void clearLearntClauses () 
		int i
	public void expireTimeout () 
		int i
	public java.util.Map getStat () 
	public int getTimeout () 
	public long getTimeoutMs () 
	public int newVar () 
	public int newVar (int) 
		int howmany
		int result
		int i
	public void printStat (java.io.PrintStream, java.lang.String) 
		java.io.PrintStream out
		String prefix
		int i
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
		int i
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
		org.sat4j.core.ConstrGroup group
		boolean removed
		org.sat4j.specs.IConstr toRemove
		int i
	public void reset () 
		int i
	public void setExpectedNumberOfClauses (int) 
		int nb
		int i
	public void setTimeout (int) 
		int t
		int i
	public void setTimeoutMs (long) 
		long t
		int i
	public void setTimeoutOnConflicts (int) 
		int count
		int i
	public java.lang.String toString (java.lang.String) 
		String prefix
		StringBuffer res
		int i
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public synchronized boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean globalTimeout
		int i
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean globalTimeout
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public int[] model () 
	public boolean model (int) 
		int var
	public int nConstraints () 
	public int nVars () 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
		int i
	public synchronized void onFinishWithAnswer (boolean, boolean, int) 
		boolean finished
		boolean result
		int index
		int i
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
		boolean status
		int i
	public void setSearchListener (org.sat4j.specs.SearchListener) 
		org.sat4j.specs.SearchListener sl
		int i
	public org.sat4j.specs.SearchListener getSearchListener () 
	public int nextFreeVarId (boolean) 
		boolean reserve
		int res
		int i
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.core.ConstrGroup group
		int i
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
		org.sat4j.core.ConstrGroup group
		boolean removed
		org.sat4j.specs.IConstr toRemove
		int i
	public boolean isVerbose () 
	public void setVerbose (boolean) 
		boolean value
		int i
	public void setLogPrefix (java.lang.String) 
		String prefix
		int i
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	public int[] primeImplicant () 
	public boolean primeImplicant (int) 
		int p
	public java.util.List getSolvers () 
	public int[] modelWithInternalVariables () 
	public int realNumberOfVariables () 
	public void registerLiteral (int) 
		int p
		int i
	public boolean isSolverKeptHot () 
	public void setKeepSolverHot (boolean) 
		boolean value
		int i
	public org.sat4j.specs.ISolver getSolvingEngine () 
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
		int i
	public synchronized void learnUnit (int) 
		int p
	public synchronized void provideUnitClauses (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
		int i
	public void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
		org.sat4j.specs.UnitClauseProvider ucp
}

org/sat4j/tools/ClausalCardinalitiesDecorator.class
ClausalCardinalitiesDecorator.java
package org.sat4j.tools
public org.sat4j.tools.ClausalCardinalitiesDecorator extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private final org.sat4j.tools.encoding.EncodingStrategyAdapter encodingAdapter
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, org.sat4j.tools.encoding.EncodingStrategyAdapter) 
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.encoding.EncodingStrategyAdapter encodingAd
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int k
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int k
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int k
	public java.lang.String toString () 
	public java.lang.String toString (java.lang.String) 
		String prefix
}

org/sat4j/tools/SpeedTracing.class
SpeedTracing.java
package org.sat4j.tools
public org.sat4j.tools.SpeedTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.tools.IVisualizationTool visuTool
	private final org.sat4j.tools.IVisualizationTool cleanVisuTool
	private final org.sat4j.tools.IVisualizationTool restartVisuTool
	private long begin
	private long end
	private int counter
	private long index
	private double maxY
	public void  (org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
		org.sat4j.tools.IVisualizationTool cleanVisuTool
		org.sat4j.tools.IVisualizationTool restartVisuTool
	public void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
		double y
		long tmp
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void cleaning () 
		long indexClean
	public void restarting () 
		long indexRestart
		double y
	public void start () 
}

org/sat4j/tools/ExtendedDimacsArrayReader.class
ExtendedDimacsArrayReader.java
package org.sat4j.tools
public org.sat4j.tools.ExtendedDimacsArrayReader extends org.sat4j.tools.DimacsArrayReader {
	public static final int FALSE
	public static final int TRUE
	public static final int NOT
	public static final int AND
	public static final int NAND
	public static final int OR
	public static final int NOR
	public static final int XOR
	public static final int XNOR
	public static final int IMPLIES
	public static final int IFF
	public static final int IFTHENELSE
	public static final int ATLEAST
	public static final int ATMOST
	public static final int COUNT
	private static final long serialVersionUID
	private final org.sat4j.tools.GateTranslator gater
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	protected boolean handleConstr (int, int, int[])  throws org.sat4j.specs.ContradictionException 
		int gateType
		int output
		int[] inputs
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt literals
}

org/sat4j/tools/Minimal4InclusionModel.class
Minimal4InclusionModel.java
package org.sat4j.tools
public org.sat4j.tools.Minimal4InclusionModel extends org.sat4j.tools.AbstractMinimalModel {
	private static final long serialVersionUID
	private int[] prevfullmodel
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
		org.sat4j.tools.SolutionFoundListener modelListener
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public int[] model () 
		int[] prevmodel
		org.sat4j.specs.IVecInt vec
		org.sat4j.specs.IVecInt cube
		org.sat4j.specs.IConstr prevConstr
		int q
	public int[] modelWithInternalVariables () 
}

org/sat4j/tools/AbstractClauseSelectorSolver$1.class
AbstractClauseSelectorSolver.java
package org.sat4j.tools
 org.sat4j.tools.AbstractClauseSelectorSolver$1 extends java.lang.Object implements org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState  {
	final org.sat4j.tools.AbstractClauseSelectorSolver this$0
	void  (org.sat4j.tools.AbstractClauseSelectorSolver) 
	private org.sat4j.specs.IVecInt getNegatedSelectors () 
		org.sat4j.specs.IVecInt assumps
		int var
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
		org.sat4j.specs.IVecInt all
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		org.sat4j.specs.IVecInt all
}

org/sat4j/tools/DotSearchTracing.class
DotSearchTracing.java
package org.sat4j.tools
public org.sat4j.tools.DotSearchTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.core.Vec pile
	private String currentNodeName
	private transient java.io.Writer out
	private boolean estOrange
	private final java.util.Map mapping
	public void  (java.lang.String, java.util.Map) 
		String fileNameToSave
		java.util.Map mapping
	private java.lang.String node (int) 
		int dimacs
		int var
		Object t
	public final void assuming (int) 
		int p
		int absP
		String newName
		String newName
	public final void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
		String newName
		String couleur
	public final void backtracking (int) 
		int p
		String temp
	public final void adding (int) 
		int p
	public final void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr clause
	public final void delete (int[]) 
		int[] clause
	public final void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public final void conflictFound (int) 
		int p
	public final void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public final void beginLoop () 
	public final void start () 
	public final void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	private java.lang.String lineTab (java.lang.String) 
		String line
	private void saveLine (java.lang.String) 
		String line
		java.io.IOException e
	private void readObject (java.io.ObjectInputStream)  throws java.io.IOException java.lang.ClassNotFoundException 
		java.io.ObjectInputStream stream
}

org/sat4j/tools/AbstractMinimalModel.class
AbstractMinimalModel.java
package org.sat4j.tools
public org.sat4j.tools.AbstractMinimalModel extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	protected final java.util.SortedSet pLiterals
	protected final org.sat4j.tools.SolutionFoundListener modelListener
	public static org.sat4j.specs.IVecInt positiveLiterals (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int i
	public static org.sat4j.specs.IVecInt negativeLiterals (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt literals
		int i
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
	public void  (org.sat4j.specs.ISolver, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.SolutionFoundListener modelListener
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
		org.sat4j.tools.SolutionFoundListener modelListener
		org.sat4j.specs.IteratorInt it
}

org/sat4j/tools/RemiUtils.class
RemiUtils.java
package org.sat4j.tools
public final org.sat4j.tools.RemiUtils extends java.lang.Object {
	private void  () 
	public static org.sat4j.specs.IVecInt backbone (org.sat4j.specs.ISolver)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver s
		org.sat4j.specs.IVecInt backbone
		int nvars
		int i
}

org/sat4j/tools/LearnedTracing.class
LearnedTracing.java
package org.sat4j.tools
public org.sat4j.tools.LearnedTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolverService solverService
	private final org.sat4j.tools.IVisualizationTool visuTool
	public void  (org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public void restarting () 
	private void trace () 
		org.sat4j.specs.IVec constrs
		int n
		int i
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/tools/IVisualizationTool.class
IVisualizationTool.java
package org.sat4j.tools
public abstract org.sat4j.tools.IVisualizationTool extends java.lang.Object implements java.io.Serializable  {
	public static final Integer NOTGOOD
	static void  () 
	public abstract void addPoint (double, double) 
	public abstract void addInvisiblePoint (double, double) 
	public abstract void init () 
	public abstract void end () 
}

org/sat4j/tools/OutcomeListener.class
OutcomeListener.java
package org.sat4j.tools
public abstract org.sat4j.tools.OutcomeListener extends java.lang.Object {
	public abstract void onFinishWithAnswer (boolean, boolean, int) 
}

org/sat4j/tools/CheckMUSSolutionListener.class
CheckMUSSolutionListener.java
package org.sat4j.tools
public org.sat4j.tools.CheckMUSSolutionListener extends java.lang.Object implements org.sat4j.tools.SolutionFoundListener  {
	private java.util.List clauses
	private String explain
	private final org.sat4j.core.ASolverFactory factory
	public void  (org.sat4j.core.ASolverFactory) 
		org.sat4j.core.ASolverFactory factory
	public void addOriginalClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt clause
		org.sat4j.specs.IVecInt newClause
	public boolean checkThatItIsAMUS (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt mus
		boolean result
		org.sat4j.specs.ISolver solver
		int i
		org.sat4j.specs.TimeoutException e
		int i
		int j
		org.sat4j.specs.TimeoutException e
	public void onSolutionFound (int[]) 
		int[] solution
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
	public void onUnsatTermination () 
}

org/sat4j/tools/Minimal4CardinalityModel.class
Minimal4CardinalityModel.java
package org.sat4j.tools
public org.sat4j.tools.Minimal4CardinalityModel extends org.sat4j.tools.AbstractMinimalModel {
	private static final long serialVersionUID
	private int[] prevfullmodel
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
		org.sat4j.tools.SolutionFoundListener modelListener
	public void  (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt p
	public void  (org.sat4j.specs.ISolver, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.SolutionFoundListener modelListener
	public int[] model () 
		int[] prevmodel
		org.sat4j.specs.IConstr lastOne
		org.sat4j.specs.IVecInt literals
		int p
		int counter
		int q
	public int[] modelWithInternalVariables () 
}

org/sat4j/tools/Backbone.class
Backbone.java
package org.sat4j.tools
public org.sat4j.tools.Backbone extends java.lang.Object {
	private void  () 
	public static org.sat4j.specs.IVecInt compute (org.sat4j.specs.ISolver)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
	public static org.sat4j.specs.IVecInt compute (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt assumptions
		boolean result
	public static org.sat4j.specs.IVecInt compute (org.sat4j.specs.ISolver, int[])  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		int[] implicant
	public static org.sat4j.specs.IVecInt compute (org.sat4j.specs.ISolver, int[], org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.ISolver solver
		int[] implicant
		org.sat4j.specs.IVecInt assumptions
		org.sat4j.specs.IVecInt litsToTest
		int p
		org.sat4j.specs.IVecInt candidates
		int p
	private static void removeVarNotPresentAndSatisfiedLits (int[], org.sat4j.specs.IVecInt, int) 
		int[] implicant
		org.sat4j.specs.IVecInt litsToTest
		int n
		int[] marks
		int p
		int q
		int mark
		int i
}

org/sat4j/tools/package-info.class
package-info.java
package org.sat4j.tools
abstract org.sat4j.tools.package-info extends java.lang.Object {
}

org/sat4j/tools/AbstractClauseSelectorSolver$2.class
AbstractClauseSelectorSolver.java
package org.sat4j.tools
 org.sat4j.tools.AbstractClauseSelectorSolver$2 extends java.lang.Object implements org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState  {
	final org.sat4j.tools.AbstractClauseSelectorSolver this$0
	void  (org.sat4j.tools.AbstractClauseSelectorSolver) 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
}

org/sat4j/tools/HeuristicsTracing.class
HeuristicsTracing.java
package org.sat4j.tools
public org.sat4j.tools.HeuristicsTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolverService solverService
	private final org.sat4j.tools.IVisualizationTool visuTool
	public void  (org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public void restarting () 
	private void trace () 
		int n
		double[] heuristics
		int i
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
}

org/sat4j/tools/SolutionFoundListener.class
SolutionFoundListener.java
package org.sat4j.tools
public abstract org.sat4j.tools.SolutionFoundListener extends java.lang.Object {
	public static final org.sat4j.tools.SolutionFoundListener VOID
	static void  () 
	public abstract void onSolutionFound (int[]) 
	public abstract void onSolutionFound (org.sat4j.specs.IVecInt) 
	public abstract void onUnsatTermination () 
}

org/sat4j/tools/GateTranslator.class
GateTranslator.java
package org.sat4j.tools
public org.sat4j.tools.GateTranslator extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public org.sat4j.specs.IConstr gateFalse (int)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt clause
	public org.sat4j.specs.IConstr gateTrue (int)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt clause
	public org.sat4j.specs.IConstr[] ite (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
		int y
		int x1
		int x2
		int x3
		org.sat4j.specs.IConstr[] constrs
		org.sat4j.specs.IVecInt clause
	public org.sat4j.specs.IConstr[] and (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IConstr[] constrs
		org.sat4j.specs.IVecInt clause
		int i
		int i
	public org.sat4j.specs.IConstr[] and (int, int, int)  throws org.sat4j.specs.ContradictionException 
		int y
		int x1
		int x2
		org.sat4j.specs.IVecInt clause
		org.sat4j.specs.IConstr[] constrs
	public org.sat4j.specs.IConstr[] or (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IConstr[] constrs
		org.sat4j.specs.IVecInt clause
		int i
	public org.sat4j.specs.IConstr[] halfOr (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IConstr[] constrs
		org.sat4j.specs.IVecInt clause
		int i
	private org.sat4j.specs.IConstr processClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt clause
	public org.sat4j.specs.IConstr[] not (int, int)  throws org.sat4j.specs.ContradictionException 
		int y
		int x
		org.sat4j.specs.IConstr[] constrs
		org.sat4j.specs.IVecInt clause
	public org.sat4j.specs.IConstr[] xor (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt literals
		int[] f
		org.sat4j.specs.IVec vconstrs
		org.sat4j.specs.IConstr[] constrs
	public org.sat4j.specs.IConstr[] iff (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		int y
		org.sat4j.specs.IVecInt literals
		int[] f
		org.sat4j.specs.IVec vconstrs
		org.sat4j.specs.IConstr[] constrs
	public void xor (int, int, int)  throws org.sat4j.specs.ContradictionException 
		int x
		int a
		int b
		org.sat4j.specs.IVecInt clause
	private void xor2Clause (int[], int, boolean, org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		int[] f
		int prefix
		boolean negation
		org.sat4j.specs.IVec constrs
		org.sat4j.specs.IVecInt clause
		int i
	private void iff2Clause (int[], int, boolean, org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		int[] f
		int prefix
		boolean negation
		org.sat4j.specs.IVec constrs
		org.sat4j.specs.IVecInt clause
		int i
	public void fullAdderSum (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
		int x
		int a
		int b
		int c
		org.sat4j.specs.IVecInt clause
	public void fullAdderCarry (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
		int x
		int a
		int b
		int c
		org.sat4j.specs.IVecInt clause
	public void additionalFullAdderConstraints (int, int, int, int, int)  throws org.sat4j.specs.ContradictionException 
		int xcarry
		int xsum
		int a
		int b
		int c
		org.sat4j.specs.IVecInt clause
	public void halfAdderSum (int, int, int)  throws org.sat4j.specs.ContradictionException 
		int x
		int a
		int b
	public void halfAdderCarry (int, int, int)  throws org.sat4j.specs.ContradictionException 
		int x
		int a
		int b
	public void optimisationFunction (org.sat4j.specs.IVecInt, org.sat4j.specs.IVec, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVec coefs
		org.sat4j.specs.IVecInt result
		org.sat4j.specs.IVec buckets
		org.sat4j.specs.IVecInt bucket
		org.sat4j.specs.IVecInt bucket
		int i
		int p
		java.math.BigInteger a
		int j
		int x
		int x
		int y
		int y
		int z
		int sum
		int sum
		int carry
		int carry
		int i
	private org.sat4j.specs.IVecInt createIfNull (org.sat4j.specs.IVec, int) 
		org.sat4j.specs.IVec buckets
		int i
		org.sat4j.specs.IVecInt bucket
}

org/sat4j/tools/ConflictLevelTracing.class
ConflictLevelTracing.java
package org.sat4j.tools
public org.sat4j.tools.ConflictLevelTracing extends org.sat4j.tools.SearchListenerAdapter {
	private int counter
	private static final long serialVersionUID
	private int nVar
	private int maxDLevel
	private final org.sat4j.tools.IVisualizationTool visuTool
	private final org.sat4j.tools.IVisualizationTool restartVisuTool
	private final org.sat4j.tools.IVisualizationTool cleanTool
	public void  (org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool, org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
		org.sat4j.tools.IVisualizationTool restartVisuTool
		org.sat4j.tools.IVisualizationTool cleanTool
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void restarting () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void start () 
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/tools/OptToSatAdapter.class
OptToSatAdapter.java
package org.sat4j.tools
public org.sat4j.tools.OptToSatAdapter extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	org.sat4j.specs.IOptimizationProblem problem
	boolean optimalValueForced
	private final org.sat4j.specs.IVecInt assumps
	private long begin
	private final org.sat4j.tools.SolutionFoundListener sfl
	public void  (org.sat4j.specs.IOptimizationProblem) 
		org.sat4j.specs.IOptimizationProblem problem
	public void  (org.sat4j.specs.IOptimizationProblem, org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.specs.IOptimizationProblem problem
		org.sat4j.tools.SolutionFoundListener sfl
	public void reset () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt myAssumps
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt myAssumps
		boolean satisfiable
		org.sat4j.specs.TimeoutException e
	public int[] model () 
	public boolean model (int) 
		int var
	public int[] modelWithInternalVariables () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public java.lang.String toString (java.lang.String) 
		String prefix
	public boolean isOptimal () 
}

org/sat4j/tools/SingleSolutionDetector.class
SingleSolutionDetector.java
package org.sat4j.tools
public org.sat4j.tools.SingleSolutionDetector extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public boolean hasASingleSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean hasASingleSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumptions
		int[] firstmodel
		org.sat4j.specs.IVecInt clause
		int q
		boolean result
		org.sat4j.specs.IConstr added
}

org/sat4j/tools/FileBasedVisualizationTool.class
FileBasedVisualizationTool.java
package org.sat4j.tools
public org.sat4j.tools.FileBasedVisualizationTool extends java.lang.Object implements org.sat4j.tools.IVisualizationTool  {
	private String filename
	private java.io.PrintStream out
	public void  (java.lang.String) 
		String filename
	public void updateWriter () 
	public java.lang.String getFilename () 
	public void setFilename (java.lang.String) 
		String filename
	public void addPoint (double, double) 
		double x
		double y
	public void addInvisiblePoint (double, double) 
		double x
		double y
	public void init () 
	public void end () 
}

org/sat4j/tools/SearchMinOneListener.class
SearchMinOneListener.java
package org.sat4j.tools
public org.sat4j.tools.SearchMinOneListener extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolverService solverService
	private final org.sat4j.tools.SolutionFoundListener sfl
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener sfl
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
		int degree
		int[] variables
		int i
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
}

org/sat4j/tools/GroupClauseSelectorSolver.class
GroupClauseSelectorSolver.java
package org.sat4j.tools
public org.sat4j.tools.GroupClauseSelectorSolver extends org.sat4j.tools.AbstractClauseSelectorSolver implements org.sat4j.specs.IGroupSolver  {
	private static final long serialVersionUID
	private final java.util.Map varToHighLevel
	private final java.util.Map highLevelToVar
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public org.sat4j.specs.IConstr addControlableClause (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int desc
		Integer hlvar
	public org.sat4j.specs.IConstr addNonControlableClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int desc
	public java.util.Collection getAddedVars () 
	public int[] model () 
		int[] fullmodel
		int[] model
		int j
		int element
	public java.util.Map getVarToHighLevel () 
}

org/sat4j/tools/LearnedClauseSizeTracing.class
LearnedClauseSizeTracing.java
package org.sat4j.tools
public org.sat4j.tools.LearnedClauseSizeTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.tools.IVisualizationTool visuTool
	private int counter
	public void  (org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
}

org/sat4j/tools/MultiTracing.class
MultiTracing.java
package org.sat4j.tools
public org.sat4j.tools.MultiTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final java.util.Collection listeners
	public transient void  (org.sat4j.specs.SearchListener[]) 
		org.sat4j.specs.SearchListener[] listeners
	public void  (java.util.List) 
		java.util.List listenersList
	public void assuming (int) 
		int p
		org.sat4j.specs.SearchListener sl
	public void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
		org.sat4j.specs.SearchListener sl
	public void backtracking (int) 
		int p
		org.sat4j.specs.SearchListener sl
	public void adding (int) 
		int p
		org.sat4j.specs.SearchListener sl
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
		org.sat4j.specs.SearchListener sl
	public void learnUnit (int) 
		int p
		org.sat4j.specs.SearchListener sl
	public void delete (int[]) 
		int[] clause
		org.sat4j.specs.SearchListener sl
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
		org.sat4j.specs.SearchListener sl
	public void conflictFound (int) 
		int p
		org.sat4j.specs.SearchListener sl
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
		org.sat4j.specs.SearchListener sl
	public void beginLoop () 
		org.sat4j.specs.SearchListener sl
	public void start () 
		org.sat4j.specs.SearchListener sl
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
		org.sat4j.specs.SearchListener sl
	public void restarting () 
		org.sat4j.specs.SearchListener sl
	public void backjump (int) 
		int backjumpLevel
		org.sat4j.specs.SearchListener sl
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
		org.sat4j.specs.SearchListener sl
	public void cleaning () 
		org.sat4j.specs.SearchListener sl
}

org/sat4j/tools/AbstractOutputSolver.class
AbstractOutputSolver.java
package org.sat4j.tools
public abstract org.sat4j.tools.AbstractOutputSolver extends java.lang.Object implements org.sat4j.specs.ISolver  {
	protected int nbvars
	protected int nbclauses
	protected boolean fixedNbClauses
	protected boolean firstConstr
	private static final long serialVersionUID
	public void  () 
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVec clauses
	public void setTimeout (int) 
		int t
	public void setTimeoutMs (long) 
		long t
	public int getTimeout () 
	public long getTimeoutMs () 
	public void expireTimeout () 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public void printInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter output
		String prefix
	public void setTimeoutOnConflicts (int) 
		int count
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
		boolean status
	public void printStat (java.io.PrintStream, java.lang.String) 
		java.io.PrintStream output
		String prefix
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter output
		String prefix
	public java.util.Map getStat () 
	public void clearLearntClauses () 
	public int[] model () 
	public boolean model (int) 
		int var
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.SearchListener getSearchListener () 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
		org.sat4j.specs.SearchListener sl
	public boolean isVerbose () 
	public void setVerbose (boolean) 
		boolean value
	public void setLogPrefix (java.lang.String) 
		String prefix
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	public int[] primeImplicant () 
	public int nConstraints () 
	public int newVar (int) 
		int howmany
	public int nVars () 
	public boolean isSolverKeptHot () 
	public void setKeepSolverHot (boolean) 
		boolean value
	public org.sat4j.specs.ISolver getSolvingEngine () 
	public void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
		org.sat4j.specs.UnitClauseProvider upl
}

org/sat4j/tools/SearchEnumeratorListener.class
SearchEnumeratorListener.java
package org.sat4j.tools
public org.sat4j.tools.SearchEnumeratorListener extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolverService solverService
	private int nbsolutions
	private final org.sat4j.tools.SolutionFoundListener sfl
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener sfl
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
		int[] clause
		int i
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public int getNumberOfSolutionFound () 
}

org/sat4j/tools/DimacsOutputSolver.class
DimacsOutputSolver.java
package org.sat4j.tools
public org.sat4j.tools.DimacsOutputSolver extends org.sat4j.tools.AbstractOutputSolver {
	private static final long serialVersionUID
	private transient java.io.PrintWriter out
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void  (java.io.PrintWriter) 
		java.io.PrintWriter pw
	private void readObject (java.io.ObjectInputStream) 
		java.io.ObjectInputStream stream
	public int newVar () 
	public int newVar (int) 
		int howmany
	public void setExpectedNumberOfClauses (int) 
		int nb
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IteratorInt iterator
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		int i
		int j
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public void reset () 
	public java.lang.String toString (java.lang.String) 
		String prefix
	public int nConstraints () 
	public int nVars () 
	public int nextFreeVarId (boolean) 
		boolean reserve
	public int[] modelWithInternalVariables () 
	public int realNumberOfVariables () 
	public void registerLiteral (int) 
		int p
	public boolean primeImplicant (int) 
		int p
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
}

org/sat4j/tools/ModelIterator.class
ModelIterator.java
package org.sat4j.tools
public org.sat4j.tools.ModelIterator extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private boolean trivialfalsity
	private final long bound
	private long nbModelFound
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, long) 
		org.sat4j.specs.ISolver solver
		long bound
	public int[] model () 
		int[] last
		org.sat4j.specs.IVecInt clause
		int q
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public void reset () 
	public int[] primeImplicant () 
		int[] last
		org.sat4j.specs.IVecInt clause
		int q
	public long numberOfModelsFoundSoFar () 
}

org/sat4j/tools/DecisionLevelTracing.class
DecisionLevelTracing.java
package org.sat4j.tools
public org.sat4j.tools.DecisionLevelTracing extends org.sat4j.tools.SearchListenerAdapter {
	private static final long serialVersionUID
	private int counter
	private final org.sat4j.tools.IVisualizationTool visuTool
	public void  (org.sat4j.tools.IVisualizationTool) 
		org.sat4j.tools.IVisualizationTool visuTool
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void start () 
	public void backjump (int) 
		int backjumpLevel
}

org/sat4j/tools/DimacsStringSolver.class
DimacsStringSolver.java
package org.sat4j.tools
public org.sat4j.tools.DimacsStringSolver extends org.sat4j.tools.AbstractOutputSolver {
	private static final long serialVersionUID
	private StringBuffer out
	private int firstCharPos
	private final int initBuilderSize
	private int maxvarid
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void  (int) 
		int initSize
	public java.lang.StringBuffer getOut () 
	public int newVar () 
	public int newVar (int) 
		int howmany
	protected void setNbVars (int) 
		int howmany
	public void setExpectedNumberOfClauses (int) 
		int nb
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IteratorInt iterator
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		int i
		int j
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public void reset () 
	public java.lang.String toString (java.lang.String) 
		String prefix
	public int nConstraints () 
	public int nVars () 
	public java.lang.String toString () 
	public int nextFreeVarId (boolean) 
		boolean reserve
	public int[] modelWithInternalVariables () 
	public int realNumberOfVariables () 
	public void registerLiteral (int) 
		int p
	public boolean primeImplicant (int) 
		int p
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
}

org/sat4j/tools/RunnableSolver.class
ManyCore.java
package org.sat4j.tools
 org.sat4j.tools.RunnableSolver extends java.lang.Object implements java.lang.Runnable  {
	private final int index
	private final org.sat4j.specs.ISolver solver
	private final org.sat4j.tools.OutcomeListener ol
	private final org.sat4j.specs.IVecInt assumps
	private final boolean globalTimeout
	public void  (int, org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, boolean, org.sat4j.tools.OutcomeListener) 
		int i
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt assumps
		boolean globalTimeout
		org.sat4j.tools.OutcomeListener ol
	public void run () 
		boolean result
}

org/sat4j/tools/AllMUSes.class
AllMUSes.java
package org.sat4j.tools
public org.sat4j.tools.AllMUSes extends java.lang.Object {
	private org.sat4j.tools.AbstractClauseSelectorSolver css
	private final java.util.List mssList
	private final java.util.List secondPhaseClauses
	private final java.util.List musList
	private final org.sat4j.core.ASolverFactory factory
	public void  (boolean, org.sat4j.core.ASolverFactory) 
		boolean group
		org.sat4j.core.ASolverFactory factory
	public void  (org.sat4j.core.ASolverFactory) 
		org.sat4j.core.ASolverFactory factory
	public org.sat4j.specs.ISolver getSolverInstance () 
	public java.util.List computeAllMUSes () 
	public java.util.List computeAllMUSes (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt v
		org.sat4j.tools.AbstractMinimalModel minSolver
	public java.util.List computeAllMUSesOrdered (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IVecInt v
		org.sat4j.tools.AbstractMinimalModel minSolver
	private java.util.List computeAllMUSes (org.sat4j.tools.SolutionFoundListener, org.sat4j.specs.ISolver) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.ISolver minSolver
		org.sat4j.specs.IVecInt mus
		org.sat4j.specs.IVecInt blockingClause
		int[] model
		int i
		org.sat4j.specs.TimeoutException e
	public java.util.List computeAllMSS () 
	public java.util.List computeAllMSS (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.IVecInt pLits
		Integer i
		org.sat4j.tools.AbstractMinimalModel min4Inc
	public java.util.List computeAllMSSOrdered (org.sat4j.tools.SolutionFoundListener) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.IVecInt pLits
		Integer i
		org.sat4j.tools.AbstractMinimalModel min4Inc
	private java.util.List computeAllMSS (org.sat4j.tools.SolutionFoundListener, org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt) 
		org.sat4j.tools.SolutionFoundListener listener
		org.sat4j.specs.ISolver min4Inc
		org.sat4j.specs.IVecInt pLits
		int nVar
		org.sat4j.specs.IVecInt blockingClause
		org.sat4j.specs.IVecInt secondPhaseClause
		org.sat4j.specs.IVecInt fullMSS
		org.sat4j.specs.IVecInt mss
		int clause
		int i
		int[] fullmodel
		int i
		org.sat4j.specs.TimeoutException e
	public java.util.List getMssList () 
}

org/sat4j/tools/AbstractClauseSelectorSolver.class
AbstractClauseSelectorSolver.java
package org.sat4j.tools
public abstract org.sat4j.tools.AbstractClauseSelectorSolver extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private int lastCreatedVar
	private boolean pooledVarId
	private final org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState external
	private final org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState internal
	private org.sat4j.tools.AbstractClauseSelectorSolver$SelectorState selectedState
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public abstract java.util.Collection getAddedVars () 
	protected int createNewVar (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IteratorInt it
	protected void discardLastestVar () 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public void internalState () 
	public void externalState () 
}

org/sat4j/tools/LexicoDecorator.class
LexicoDecorator.java
package org.sat4j.tools
public org.sat4j.tools.LexicoDecorator extends org.sat4j.tools.SolverDecorator implements org.sat4j.specs.IOptimizationProblem  {
	protected final java.util.List criteria
	protected int currentCriterion
	protected org.sat4j.specs.IConstr prevConstr
	private Number currentValue
	protected int[] prevfullmodel
	protected int[] prevmodelwithinternalvars
	protected boolean[] prevboolmodel
	protected boolean isSolutionOptimal
	private static final long serialVersionUID
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void addCriterion (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt copy
	public boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		int i
	protected boolean manageUnsatCase () 
		org.sat4j.specs.ContradictionException e
	public int numberOfCriteria () 
	protected void fixCriterionValue ()  throws org.sat4j.specs.ContradictionException 
	public int[] model () 
	public boolean model (int) 
		int var
	public int[] modelWithInternalVariables () 
	public boolean hasNoObjectiveFunction () 
	public boolean nonOptimalMeansSatisfiable () 
	public java.lang.Number calculateObjective () 
	public java.lang.Number getObjectiveValue () 
	public java.lang.Number getObjectiveValue (int) 
		int criterion
	public void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
		Number forcedValue
	public void discard ()  throws org.sat4j.specs.ContradictionException 
	public void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.ContradictionException c
	protected org.sat4j.specs.IConstr discardSolutionsForOptimizing ()  throws org.sat4j.specs.ContradictionException 
	protected java.lang.Number evaluate () 
	protected java.lang.Number evaluate (int) 
		int criterion
		int value
		int lit
		org.sat4j.specs.IteratorInt it
	public boolean isOptimal () 
	public void setTimeoutForFindingBetterSolution (int) 
		int seconds
}

org/sat4j/tools/SolverDecorator.class
SolverDecorator.java
package org.sat4j.tools
public abstract org.sat4j.tools.SolverDecorator extends java.lang.Object implements org.sat4j.specs.ISolver  {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolver solver
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
		boolean status
	public void setTimeoutOnConflicts (int) 
		int count
	public void printInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
	public void clearLearntClauses () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean model (int) 
		int var
	public void setExpectedNumberOfClauses (int) 
		int nb
	public int getTimeout () 
	public long getTimeoutMs () 
	public java.lang.String toString (java.lang.String) 
		String prefix
	public java.lang.String toString () 
	public void printStat (java.io.PrintStream, java.lang.String) 
		java.io.PrintStream out
		String prefix
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public int newVar () 
	public int newVar (int) 
		int howmany
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVec clauses
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public int[] model () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public void setTimeout (int) 
		int t
	public void setTimeoutMs (long) 
		long t
	public void expireTimeout () 
	public int nConstraints () 
	public int nVars () 
	public void reset () 
	public org.sat4j.specs.ISolver decorated () 
	public org.sat4j.specs.ISolver clearDecorated () 
		org.sat4j.specs.ISolver decorated
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public java.util.Map getStat () 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
		org.sat4j.specs.SearchListener sl
	public int nextFreeVarId (boolean) 
		boolean reserve
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr c
	public org.sat4j.specs.SearchListener getSearchListener () 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
		boolean value
	public void setLogPrefix (java.lang.String) 
		String prefix
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	public int[] primeImplicant () 
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
	public int[] modelWithInternalVariables () 
	public int realNumberOfVariables () 
	public void registerLiteral (int) 
		int p
	public boolean isSolverKeptHot () 
	public void setKeepSolverHot (boolean) 
		boolean value
	public boolean primeImplicant (int) 
		int p
	public org.sat4j.specs.ISolver getSolvingEngine () 
	public void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
		org.sat4j.specs.UnitClauseProvider ucp
}

org/sat4j/reader/ParseFormatException.class
ParseFormatException.java
package org.sat4j.reader
public org.sat4j.reader.ParseFormatException extends java.lang.Exception {
	public static final String PARSING_ERROR
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
		String message
	public void  (java.lang.String, java.lang.Throwable) 
		String message
		Throwable cause
	public void  (java.lang.Throwable) 
		Throwable cause
}

org/sat4j/reader/DimacsReader.class
DimacsReader.java
package org.sat4j.reader
public org.sat4j.reader.DimacsReader extends org.sat4j.reader.Reader implements java.io.Serializable  {
	private static final long serialVersionUID
	protected int expectedNbOfConstr
	protected final org.sat4j.specs.ISolver solver
	private boolean checkConstrNb
	protected final String formatString
	protected org.sat4j.reader.EfficientScanner scanner
	protected org.sat4j.specs.IVecInt literals
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver, java.lang.String) 
		org.sat4j.specs.ISolver solver
		String format
	public void disableNumberOfConstraintCheck () 
	protected void skipComments ()  throws java.io.IOException 
	protected void readProblemLine ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		String line
		String[] tokens
		int vars
	protected void readConstrs ()  throws java.io.IOException org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		int realNbOfConstr
		boolean needToContinue
		boolean added
	protected void flushConstraint ()  throws org.sat4j.specs.ContradictionException 
	protected boolean handleLine ()  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
		int lit
		boolean added
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream in
	private org.sat4j.specs.IProblem parseInstance ()  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		java.io.IOException e
	public java.lang.String decode (int[]) 
		int[] model
		StringBuffer stb
		int element
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
		int element
	protected org.sat4j.specs.ISolver getSolver () 
}

org/sat4j/reader/package-info.class
package-info.java
package org.sat4j.reader
abstract org.sat4j.reader.package-info extends java.lang.Object {
}

org/sat4j/reader/JSONReader.class
JSONReader.java
package org.sat4j.reader
public org.sat4j.reader.JSONReader extends org.sat4j.reader.Reader {
	protected final org.sat4j.specs.ISolver solver
	public static final String CLAUSE
	public static final String CARD
	public final String constraint
	public final String formula
	private static final java.util.regex.Pattern CLAUSE_PATTERN
	private static final java.util.regex.Pattern CARD_PATTERN
	private final java.util.regex.Pattern constraintPattern
	static void  () 
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	protected java.lang.String constraintRegexp () 
	private void handleConstraint (java.lang.String)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		String constraint
	protected void handleNotHandled (java.lang.String)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		String constraint
	private void handleClause (java.lang.String)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		String constraint
	protected org.sat4j.specs.IVecInt getLiterals (java.lang.String)  throws org.sat4j.reader.ParseFormatException 
		String constraint
		String trimmed
		String[] literals
		org.sat4j.specs.IVecInt clause
		String literal
	protected void handleCard (java.lang.String)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		String constraint
		String trimmed
		java.util.regex.Matcher matcher
		org.sat4j.specs.IVecInt clause
		String[] str
		int degree
		String comparator
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream in
		java.io.StringWriter out
		java.io.BufferedReader reader
		String line
		String line
	public org.sat4j.specs.ISolver parseString (java.lang.String)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
		String json
		String trimmed
		java.util.regex.Matcher matcher
	public java.lang.String decode (int[]) 
		int[] model
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
}

org/sat4j/reader/AAGReader.class
AAGReader.java
package org.sat4j.reader
public org.sat4j.reader.AAGReader extends org.sat4j.reader.Reader {
	private static final int FALSE
	private static final int TRUE
	private final org.sat4j.tools.GateTranslator solver
	private int maxvarid
	private int nbinputs
	static final boolean $assertionsDisabled
	static void  () 
	void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver s
	public java.lang.String decode (int[]) 
		int[] model
		StringBuffer stb
		int i
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
		int i
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream in
		org.sat4j.reader.EfficientScanner scanner
		String prefix
		int nblatches
		int nboutputs
		int nbands
		int output0
	private void readAnd (int, int, org.sat4j.reader.EfficientScanner)  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
		int nbands
		int output0
		org.sat4j.reader.EfficientScanner scanner
		int i
		int lhs
		int rhs0
		int rhs1
	private int toDimacs (int) 
		int v
		int var
	private int readOutput (int, org.sat4j.reader.EfficientScanner)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		int nboutputs
		org.sat4j.reader.EfficientScanner scanner
		org.sat4j.specs.IVecInt outputs
		int i
	private org.sat4j.specs.IVecInt readInput (int, org.sat4j.reader.EfficientScanner)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		int numberOfInputs
		org.sat4j.reader.EfficientScanner scanner
		org.sat4j.specs.IVecInt inputs
		int i
}

org/sat4j/reader/EfficientScanner.class
EfficientScanner.java
package org.sat4j.reader
public org.sat4j.reader.EfficientScanner extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int TAILLE_BUF
	private final transient java.io.BufferedInputStream in
	private static final char EOF
	private final char commentChar
	public void  (java.io.InputStream, char) 
		java.io.InputStream input
		char commentChar
	public void  (java.io.InputStream) 
		java.io.InputStream input
	public void close ()  throws java.io.IOException 
	public void skipComments ()  throws java.io.IOException 
		char currentChar
	public int nextInt ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		int val
		boolean neg
		char currentChar
	public java.math.BigInteger nextBigInteger ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		StringBuffer stb
		char currentChar
	public java.lang.String next ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		StringBuffer stb
		char currentChar
	public char skipSpaces ()  throws java.io.IOException 
		char car
	public java.lang.String nextLine ()  throws java.io.IOException 
		StringBuffer stb
		char car
	public void skipRestOfLine ()  throws java.io.IOException 
		char car
	public boolean eof ()  throws java.io.IOException 
	public char currentChar ()  throws java.io.IOException 
		char car
}

org/sat4j/reader/AIGReader.class
AIGReader.java
package org.sat4j.reader
public org.sat4j.reader.AIGReader extends org.sat4j.reader.Reader {
	private static final int FALSE
	private static final int TRUE
	private final org.sat4j.tools.GateTranslator solver
	private int maxvarid
	private int nbinputs
	static final boolean $assertionsDisabled
	static void  () 
	void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver s
	public java.lang.String decode (int[]) 
		int[] model
		StringBuffer stb
		int i
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
		int i
	int parseInt (java.io.InputStream, char)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		java.io.InputStream in
		char expected
		int res
		int ch
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream in
		int nblatches
		int nboutputs
		int nbands
		int output0
	static int safeGet (java.io.InputStream)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		java.io.InputStream in
		int ch
	static int decode (java.io.InputStream)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		java.io.InputStream in
		int x
		int i
		int ch
		int ch
	private void readAnd (int, int, java.io.InputStream, int)  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
		int nbands
		int output0
		java.io.InputStream in
		int startid
		int lhs
		int i
		int delta0
		int delta1
		int rhs0
		int rhs1
	private int toDimacs (int) 
		int v
		int var
}

org/sat4j/reader/GroupedCNFReader.class
GroupedCNFReader.java
package org.sat4j.reader
public org.sat4j.reader.GroupedCNFReader extends org.sat4j.reader.DimacsReader {
	private static final long serialVersionUID
	private int numberOfComponents
	private final org.sat4j.specs.IGroupSolver groupSolver
	private int currentComponentIndex
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IGroupSolver) 
		org.sat4j.specs.IGroupSolver solver
	protected void readProblemLine ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
		String line
		String[] tokens
		int vars
	protected boolean handleLine ()  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
		int lit
		boolean added
		String component
	protected void flushConstraint ()  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/reader/InstanceReader.class
InstanceReader.java
package org.sat4j.reader
public org.sat4j.reader.InstanceReader extends org.sat4j.reader.Reader {
	private org.sat4j.reader.AAGReader aag
	private org.sat4j.reader.AIGReader aig
	private org.sat4j.reader.DimacsReader ezdimacs
	private org.sat4j.reader.LecteurDimacs dimacs
	private org.sat4j.reader.Reader reader
	private final org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
	private org.sat4j.reader.Reader getDefaultSATReader () 
	private org.sat4j.reader.Reader getEZSATReader () 
	private org.sat4j.reader.Reader getAIGReader () 
	private org.sat4j.reader.Reader getAAGReader () 
	public org.sat4j.specs.IProblem parseInstance (java.lang.String)  throws org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
		String filename
		String fname
		String fname
		String prefix
		String[] parts
	protected org.sat4j.reader.Reader handleFileName (java.lang.String, java.lang.String) 
		String fname
		String prefix
	public java.lang.String decode (int[]) 
		int[] model
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream in
}

org/sat4j/reader/Reader.class
Reader.java
package org.sat4j.reader
public abstract org.sat4j.reader.Reader extends java.lang.Object {
	private boolean verbose
	public void  () 
	public org.sat4j.specs.IProblem parseInstance (java.lang.String)  throws org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
		String filename
		java.io.InputStream in
		org.sat4j.specs.IProblem problem
		java.io.FileNotFoundException e
		org.sat4j.reader.ParseFormatException e
		java.io.IOException e
		org.sat4j.specs.ContradictionException e
		IllegalStateException e
	public abstract org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	public org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.Reader in
	public abstract java.lang.String decode (int[]) 
	public abstract void decode (int[], java.io.PrintWriter) 
	public boolean isVerbose () 
	public void setVerbosity (boolean) 
		boolean b
}

org/sat4j/reader/LecteurDimacs.class
LecteurDimacs.java
package org.sat4j.reader
public org.sat4j.reader.LecteurDimacs extends org.sat4j.reader.Reader implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int TAILLE_BUF
	private final org.sat4j.specs.ISolver s
	private transient java.io.BufferedInputStream in
	private int nbVars
	private int nbClauses
	private static final char EOF
	public void  (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver s
	public final org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
		java.io.InputStream input
		char car
	private char passerCommentaire ()  throws java.io.IOException 
		char car
	private char lectureNombreLiteraux ()  throws java.io.IOException 
		char car
	private void ajouterClauses (char)  throws java.io.IOException org.sat4j.specs.ContradictionException org.sat4j.reader.ParseFormatException 
		char car
		org.sat4j.specs.IVecInt lit
		int val
		boolean neg
	private char passerEspaces ()  throws java.io.IOException 
		char car
	private char nextLine ()  throws java.io.IOException 
		char car
	private char nextChiffre ()  throws java.io.IOException 
		char car
	public java.lang.String decode (int[]) 
		int[] model
		StringBuffer stb
		int element
	public void decode (int[], java.io.PrintWriter) 
		int[] model
		java.io.PrintWriter out
		int element
}

org/sat4j/BasicLauncher.class
BasicLauncher.java
package org.sat4j
public org.sat4j.BasicLauncher extends org.sat4j.AbstractLauncher {
	private static final long serialVersionUID
	private final org.sat4j.core.ASolverFactory factory
	public void  (org.sat4j.core.ASolverFactory) 
		org.sat4j.core.ASolverFactory factory
	public static void main (java.lang.String[]) 
		String[] args
		org.sat4j.BasicLauncher lanceur
	protected org.sat4j.specs.ISolver configureSolver (java.lang.String[]) 
		String[] args
		org.sat4j.specs.ISolver asolver
		org.sat4j.specs.ISolver asolver
	protected org.sat4j.reader.Reader createReader (org.sat4j.specs.ISolver, java.lang.String) 
		org.sat4j.specs.ISolver theSolver
		String problemname
	public void usage () 
	protected java.lang.String getInstanceName (java.lang.String[]) 
		String[] args
}

org/sat4j/MUSLauncher$1.class
MUSLauncher.java
package org.sat4j
 org.sat4j.MUSLauncher$1 extends java.lang.Object implements org.sat4j.tools.SolutionFoundListener  {
	private int msscount
	final org.sat4j.MUSLauncher this$0
	void  (org.sat4j.MUSLauncher) 
	public void onUnsatTermination () 
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
	public void onSolutionFound (int[]) 
		int[] solution
}

org/sat4j/LightFactory.class
LightFactory.java
package org.sat4j
public org.sat4j.LightFactory extends org.sat4j.core.ASolverFactory {
	private static final long serialVersionUID
	private static org.sat4j.LightFactory instance
	public void  () 
	private static synchronized void createInstance () 
	public static org.sat4j.LightFactory instance () 
	public org.sat4j.specs.ISolver defaultSolver () 
		org.sat4j.minisat.learning.MiniSATLearning learning
		org.sat4j.minisat.core.Solver solver
	public org.sat4j.specs.ISolver lightSolver () 
	public static void main (java.lang.String[]) 
		String[] args
		org.sat4j.AbstractLauncher lanceur
}

org/sat4j/MoreThanSAT.class
MoreThanSAT.java
package org.sat4j
public final org.sat4j.MoreThanSAT extends java.lang.Object {
	private void  () 
	public static void main (java.lang.String[]) 
		String[] args
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.SolutionCounter sc
		org.sat4j.reader.Reader reader
		org.sat4j.specs.IProblem problem
		org.sat4j.specs.IVecInt backbone
		java.io.FileNotFoundException e
		org.sat4j.reader.ParseFormatException e
		java.io.IOException e
}

org/sat4j/specs/ILogAble.class
ILogAble.java
package org.sat4j.specs
public abstract org.sat4j.specs.ILogAble extends java.lang.Object {
	public static final org.sat4j.specs.ILogAble CONSOLE
	static void  () 
	public abstract void log (java.lang.String) 
}

org/sat4j/specs/Lbool.class
Lbool.java
package org.sat4j.specs
public final org.sat4j.specs.Lbool extends java.lang.Object {
	public static final org.sat4j.specs.Lbool FALSE
	public static final org.sat4j.specs.Lbool TRUE
	public static final org.sat4j.specs.Lbool UNDEFINED
	private final String symbol
	private org.sat4j.specs.Lbool opposite
	static void  () 
	private void  (java.lang.String) 
		String symbol
	public org.sat4j.specs.Lbool not () 
	public java.lang.String toString () 
}

org/sat4j/specs/IOptimizationProblem.class
IOptimizationProblem.java
package org.sat4j.specs
public abstract org.sat4j.specs.IOptimizationProblem extends java.lang.Object implements org.sat4j.specs.IProblem  {
	public abstract boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public abstract boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean hasNoObjectiveFunction () 
	public abstract boolean nonOptimalMeansSatisfiable () 
	public abstract java.lang.Number calculateObjective () 
	public abstract java.lang.Number getObjectiveValue () 
	public abstract void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
	public abstract void discard ()  throws org.sat4j.specs.ContradictionException 
	public abstract void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
	public abstract boolean isOptimal () 
	public abstract void setTimeoutForFindingBetterSolution (int) 
}

org/sat4j/specs/IVec.class
IVec.java
package org.sat4j.specs
public abstract org.sat4j.specs.IVec extends java.lang.Object implements java.io.Serializable  {
	public abstract int size () 
	public abstract void shrink (int) 
	public abstract void shrinkTo (int) 
	public abstract void pop () 
	public abstract void growTo (int, java.lang.Object) 
	public abstract void ensure (int) 
	public abstract org.sat4j.specs.IVec push (java.lang.Object) 
	public abstract void unsafePush (java.lang.Object) 
	public abstract void insertFirst (java.lang.Object) 
	public abstract void insertFirstWithShifting (java.lang.Object) 
	public abstract void clear () 
	public abstract java.lang.Object last () 
	public abstract java.lang.Object get (int) 
	public abstract void set (int, java.lang.Object) 
	public abstract void remove (java.lang.Object) 
	public abstract java.lang.Object delete (int) 
	public abstract void copyTo (org.sat4j.specs.IVec) 
	public abstract void copyTo (java.lang.Object[]) 
	public abstract java.lang.Object[] toArray () 
	public abstract void moveTo (org.sat4j.specs.IVec) 
	public abstract void moveTo (int, int) 
	public abstract void sort (java.util.Comparator) 
	public abstract void sortUnique (java.util.Comparator) 
	public abstract boolean isEmpty () 
	public abstract java.util.Iterator iterator () 
	public abstract boolean contains (java.lang.Object) 
	public abstract int indexOf (java.lang.Object) 
}

org/sat4j/specs/UnitClauseProvider$1.class
UnitClauseProvider.java
package org.sat4j.specs
 org.sat4j.specs.UnitClauseProvider$1 extends java.lang.Object implements org.sat4j.specs.UnitClauseProvider  {
	void  () 
	public void provideUnitClauses (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
}

org/sat4j/specs/ContradictionException.class
ContradictionException.java
package org.sat4j.specs
public org.sat4j.specs.ContradictionException extends java.lang.Exception {
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
		String message
	public void  (java.lang.Throwable) 
		Throwable cause
	public void  (java.lang.String, java.lang.Throwable) 
		String message
		Throwable cause
}

org/sat4j/specs/IVecInt.class
IVecInt.java
package org.sat4j.specs
public abstract org.sat4j.specs.IVecInt extends java.lang.Object implements java.io.Serializable  {
	public abstract int size () 
	public abstract void shrink (int) 
	public abstract void shrinkTo (int) 
	public abstract org.sat4j.specs.IVecInt pop () 
	public abstract void growTo (int, int) 
	public abstract void ensure (int) 
	public abstract org.sat4j.specs.IVecInt push (int) 
	public abstract void unsafePush (int) 
	public abstract int unsafeGet (int) 
	public abstract void clear () 
	public abstract int last () 
	public abstract int get (int) 
	public abstract void set (int, int) 
	public abstract boolean contains (int) 
	public abstract int indexOf (int) 
	public abstract int containsAt (int) 
	public abstract int containsAt (int, int) 
	public abstract void copyTo (org.sat4j.specs.IVecInt) 
	public abstract void copyTo (int[]) 
	public abstract void moveTo (org.sat4j.specs.IVecInt) 
	public abstract void moveTo (int, int[]) 
	public abstract void moveTo2 (org.sat4j.specs.IVecInt) 
	public abstract void moveTo (int[]) 
	public abstract void moveTo (int, int) 
	public abstract void insertFirst (int) 
	public abstract void remove (int) 
	public abstract int delete (int) 
	public abstract void sort () 
	public abstract void sortUnique () 
	public abstract boolean isEmpty () 
	public abstract org.sat4j.specs.IteratorInt iterator () 
	public abstract int[] toArray () 
	public abstract org.sat4j.specs.IVecInt[] subset (int) 
}

org/sat4j/specs/IteratorInt.class
IteratorInt.java
package org.sat4j.specs
public abstract org.sat4j.specs.IteratorInt extends java.lang.Object {
	public abstract boolean hasNext () 
	public abstract int next () 
}

org/sat4j/specs/UnitClauseProvider.class
UnitClauseProvider.java
package org.sat4j.specs
public abstract org.sat4j.specs.UnitClauseProvider extends java.lang.Object {
	public static final org.sat4j.specs.UnitClauseProvider VOID
	static void  () 
	public abstract void provideUnitClauses (org.sat4j.specs.UnitPropagationListener) 
}

org/sat4j/specs/IConstr.class
IConstr.java
package org.sat4j.specs
public abstract org.sat4j.specs.IConstr extends java.lang.Object {
	public abstract boolean learnt () 
	public abstract int size () 
	public abstract int get (int) 
	public abstract double getActivity () 
	public abstract boolean canBePropagatedMultipleTimes () 
}

org/sat4j/specs/IProblem.class
IProblem.java
package org.sat4j.specs
public abstract org.sat4j.specs.IProblem extends java.lang.Object implements org.sat4j.specs.RandomAccessModel  {
	public abstract int[] model () 
	public abstract int[] primeImplicant () 
	public abstract boolean primeImplicant (int) 
	public abstract boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public abstract int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract int nConstraints () 
	public abstract int newVar (int) 
	public abstract int nVars () 
	public abstract void printInfos (java.io.PrintWriter, java.lang.String) 
	public abstract void printInfos (java.io.PrintWriter) 
}

org/sat4j/specs/IGroupSolver.class
IGroupSolver.java
package org.sat4j.specs
public abstract org.sat4j.specs.IGroupSolver extends java.lang.Object implements org.sat4j.specs.ISolver  {
	public abstract org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/specs/ISolverService.class
ISolverService.java
package org.sat4j.specs
public abstract org.sat4j.specs.ISolverService extends java.lang.Object {
	public abstract void stop () 
	public abstract void backtrack (int[]) 
	public abstract org.sat4j.specs.IConstr addClauseOnTheFly (int[]) 
	public abstract org.sat4j.specs.IConstr addAtMostOnTheFly (int[], int) 
	public abstract org.sat4j.specs.Lbool truthValue (int) 
	public abstract int currentDecisionLevel () 
	public abstract int[] getLiteralsPropagatedAt (int) 
	public abstract void suggestNextLiteralToBranchOn (int) 
	public abstract double[] getVariableHeuristics () 
	public abstract org.sat4j.specs.IVec getLearnedConstraints () 
	public abstract int nVars () 
	public abstract boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public abstract java.lang.String getLogPrefix () 
}

org/sat4j/specs/package-info.class
package-info.java
package org.sat4j.specs
abstract org.sat4j.specs.package-info extends java.lang.Object {
}

org/sat4j/specs/TimeoutException.class
TimeoutException.java
package org.sat4j.specs
public org.sat4j.specs.TimeoutException extends java.lang.Exception {
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
		String message
	public void  (java.lang.String, java.lang.Throwable) 
		String message
		Throwable cause
	public void  (java.lang.Throwable) 
		Throwable cause
}

org/sat4j/specs/UnitPropagationListener.class
UnitPropagationListener.java
package org.sat4j.specs
public abstract org.sat4j.specs.UnitPropagationListener extends java.lang.Object {
	public abstract boolean enqueue (int) 
	public abstract boolean enqueue (int, org.sat4j.minisat.core.Constr) 
	public abstract void unset (int) 
}

org/sat4j/specs/ISolver.class
ISolver.java
package org.sat4j.specs
public abstract org.sat4j.specs.ISolver extends java.lang.Object implements org.sat4j.specs.IProblem java.io.Serializable  {
	public abstract int newVar () 
	public abstract int nextFreeVarId (boolean) 
	public abstract void registerLiteral (int) 
	public abstract void setExpectedNumberOfClauses (int) 
	public abstract org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract boolean removeConstr (org.sat4j.specs.IConstr) 
	public abstract boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public abstract void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract void setTimeout (int) 
	public abstract void setTimeoutOnConflicts (int) 
	public abstract void setTimeoutMs (long) 
	public abstract int getTimeout () 
	public abstract long getTimeoutMs () 
	public abstract void expireTimeout () 
	public abstract void reset () 
	public abstract void printStat (java.io.PrintStream, java.lang.String) 
	public abstract void printStat (java.io.PrintWriter, java.lang.String) 
	public abstract void printStat (java.io.PrintWriter) 
	public abstract java.util.Map getStat () 
	public abstract java.lang.String toString (java.lang.String) 
	public abstract void clearLearntClauses () 
	public abstract void setDBSimplificationAllowed (boolean) 
	public abstract boolean isDBSimplificationAllowed () 
	public abstract void setSearchListener (org.sat4j.specs.SearchListener) 
	public abstract void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
	public abstract org.sat4j.specs.SearchListener getSearchListener () 
	public abstract boolean isVerbose () 
	public abstract void setVerbose (boolean) 
	public abstract void setLogPrefix (java.lang.String) 
	public abstract java.lang.String getLogPrefix () 
	public abstract org.sat4j.specs.IVecInt unsatExplanation () 
	public abstract int[] modelWithInternalVariables () 
	public abstract int realNumberOfVariables () 
	public abstract boolean isSolverKeptHot () 
	public abstract void setKeepSolverHot (boolean) 
	public abstract org.sat4j.specs.ISolver getSolvingEngine () 
}

org/sat4j/specs/SearchListener.class
SearchListener.java
package org.sat4j.specs
public abstract org.sat4j.specs.SearchListener extends java.lang.Object implements java.io.Serializable  {
	public abstract void init (org.sat4j.specs.ISolverService) 
	public abstract void assuming (int) 
	public abstract void propagating (int, org.sat4j.specs.IConstr) 
	public abstract void backtracking (int) 
	public abstract void adding (int) 
	public abstract void learn (org.sat4j.specs.IConstr) 
	public abstract void learnUnit (int) 
	public abstract void delete (int[]) 
	public abstract void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public abstract void conflictFound (int) 
	public abstract void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
	public abstract void beginLoop () 
	public abstract void start () 
	public abstract void end (org.sat4j.specs.Lbool) 
	public abstract void restarting () 
	public abstract void backjump (int) 
	public abstract void cleaning () 
}

org/sat4j/specs/ILogAble$1.class
ILogAble.java
package org.sat4j.specs
 org.sat4j.specs.ILogAble$1 extends java.lang.Object implements org.sat4j.specs.ILogAble  {
	void  () 
	public void log (java.lang.String) 
		String message
}

org/sat4j/specs/RandomAccessModel.class
RandomAccessModel.java
package org.sat4j.specs
public abstract org.sat4j.specs.RandomAccessModel extends java.lang.Object {
	public abstract boolean model (int) 
}

org/sat4j/MUSLauncher.class
MUSLauncher.java
package org.sat4j
public org.sat4j.MUSLauncher extends org.sat4j.AbstractLauncher {
	private static final long serialVersionUID
	private int[] mus
	private org.sat4j.tools.xplain.Explainer xplain
	private boolean highLevel
	private org.sat4j.tools.AllMUSes allMuses
	private int muscount
	public void  () 
	public void usage () 
	protected org.sat4j.reader.Reader createReader (org.sat4j.specs.ISolver, java.lang.String) 
		org.sat4j.specs.ISolver theSolver
		String problemname
	protected java.lang.String getInstanceName (java.lang.String[]) 
		String[] args
	protected org.sat4j.specs.ISolver configureSolver (java.lang.String[]) 
		String[] args
		String problemName
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.ISolver solver
		org.sat4j.tools.xplain.HighLevelXplain hlxp
		org.sat4j.tools.xplain.Xplain xp
		String className
		Exception e
	protected void displayResult () 
		double wallclocktime
		int[] model
	public void run (java.lang.String[]) 
		String[] args
		double wallclocktime
		double beginmus
		org.sat4j.tools.SolutionFoundListener mssListener
		org.sat4j.tools.SolutionFoundListener musListener
	public static void main (java.lang.String[]) 
		String[] args
		org.sat4j.MUSLauncher lanceur
	static int access$0 (org.sat4j.MUSLauncher) 
	static void access$1 (org.sat4j.MUSLauncher, int) 
}

org/sat4j/ILauncherMode$1.class
ILauncherMode.java
package org.sat4j
 org.sat4j.ILauncherMode$1 extends java.lang.Object implements org.sat4j.ILauncherMode  {
	private org.sat4j.ExitCode exitCode
	private int nbSolutionFound
	private java.io.PrintWriter out
	private long beginTime
	void  () 
	public void displayResult (org.sat4j.specs.ISolver, org.sat4j.specs.IProblem, org.sat4j.specs.ILogAble, java.io.PrintWriter, org.sat4j.reader.Reader, long, boolean) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IProblem problem
		org.sat4j.specs.ILogAble logger
		java.io.PrintWriter out
		org.sat4j.reader.Reader reader
		long beginTime
		boolean displaySolutionLine
		double wallclocktime
		int[] model
		int initiallength
		long beginpi
		long endpi
		long beginpi
		org.sat4j.specs.IVecInt backbone
		long endpi
	public void solve (org.sat4j.specs.IProblem, org.sat4j.reader.Reader, org.sat4j.specs.ILogAble, java.io.PrintWriter, long) 
		org.sat4j.specs.IProblem problem
		org.sat4j.reader.Reader reader
		org.sat4j.specs.ILogAble logger
		java.io.PrintWriter out
		long beginTime
	public void setIncomplete (boolean) 
		boolean isIncomplete
	public org.sat4j.ExitCode getCurrentExitCode () 
	public void onSolutionFound (int[]) 
		int[] solution
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
	public void onUnsatTermination () 
	public void setExitCode (org.sat4j.ExitCode) 
		org.sat4j.ExitCode exitCode
}

org/sat4j/package-info.class
package-info.java
package org.sat4j
abstract org.sat4j.package-info extends java.lang.Object {
}

org/sat4j/MUSLauncher$2.class
MUSLauncher.java
package org.sat4j
 org.sat4j.MUSLauncher$2 extends java.lang.Object implements org.sat4j.tools.SolutionFoundListener  {
	final org.sat4j.MUSLauncher this$0
	void  (org.sat4j.MUSLauncher) 
	public void onSolutionFound (int[]) 
		int[] solution
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
		int[] localMus
	public void onUnsatTermination () 
}

org/sat4j/ILauncherMode$2.class
ILauncherMode.java
package org.sat4j
 org.sat4j.ILauncherMode$2 extends java.lang.Object implements org.sat4j.ILauncherMode  {
	private int nbSolutions
	private org.sat4j.ExitCode exitCode
	private boolean isIncomplete
	static final boolean $assertionsDisabled
	void  () 
	public void setIncomplete (boolean) 
		boolean isIncomplete
	public void displayResult (org.sat4j.specs.ISolver, org.sat4j.specs.IProblem, org.sat4j.specs.ILogAble, java.io.PrintWriter, org.sat4j.reader.Reader, long, boolean) 
		org.sat4j.specs.ISolver solver
		org.sat4j.specs.IProblem problem
		org.sat4j.specs.ILogAble logger
		java.io.PrintWriter out
		org.sat4j.reader.Reader reader
		long beginTime
		boolean displaySolutionLine
		org.sat4j.specs.IOptimizationProblem optproblem
		String objvalue
		String objvalue
		org.sat4j.specs.IVec values
		org.sat4j.tools.LexicoDecorator lexico
		int i
	public void solve (org.sat4j.specs.IProblem, org.sat4j.reader.Reader, org.sat4j.specs.ILogAble, java.io.PrintWriter, long) 
		org.sat4j.specs.IProblem problem
		org.sat4j.reader.Reader reader
		org.sat4j.specs.ILogAble logger
		java.io.PrintWriter out
		long beginTime
		boolean isSatisfiable
		org.sat4j.specs.IOptimizationProblem optproblem
	public org.sat4j.ExitCode getCurrentExitCode () 
	public void onSolutionFound (int[]) 
		int[] solution
	public void onSolutionFound (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt solution
	public void onUnsatTermination () 
	public void setExitCode (org.sat4j.ExitCode) 
		org.sat4j.ExitCode exitCode
}

org/sat4j/Messages.class
Messages.java
package org.sat4j
public final org.sat4j.Messages extends java.lang.Object {
	private static final String BUNDLE_NAME
	private static final java.util.ResourceBundle RESOURCE_BUNDLE
	static void  () 
	private void  () 
	public static java.lang.String getString (java.lang.String) 
		String key
}

org/sat4j/core/VecInt$2.class
VecInt.java
package org.sat4j.core
 org.sat4j.core.VecInt$2 extends java.lang.Object implements org.sat4j.specs.IteratorInt  {
	private int i
	final org.sat4j.core.VecInt this$0
	void  (org.sat4j.core.VecInt) 
	public boolean hasNext () 
	public int next () 
}

org/sat4j/core/ReadOnlyVec.class
ReadOnlyVec.java
package org.sat4j.core
public final org.sat4j.core.ReadOnlyVec extends java.lang.Object implements org.sat4j.specs.IVec  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVec vec
	public void  (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec vec
	public void clear () 
	public void copyTo (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec copy
	public void copyTo (java.lang.Object[]) 
		Object[] dest
	public java.lang.Object delete (int) 
		int i
	public void ensure (int) 
		int nsize
	public java.lang.Object get (int) 
		int i
	public void growTo (int, java.lang.Object) 
		int newsize
		Object pad
	public void insertFirst (java.lang.Object) 
		Object elem
	public void insertFirstWithShifting (java.lang.Object) 
		Object elem
	public boolean isEmpty () 
	public java.util.Iterator iterator () 
	public java.lang.Object last () 
	public void moveTo (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec dest
	public void moveTo (int, int) 
		int dest
		int source
	public void pop () 
	public org.sat4j.specs.IVec push (java.lang.Object) 
		Object elem
	public void remove (java.lang.Object) 
		Object elem
	public void set (int, java.lang.Object) 
		int i
		Object o
	public void shrink (int) 
		int nofelems
	public void shrinkTo (int) 
		int newsize
	public int size () 
	public void sort (java.util.Comparator) 
		java.util.Comparator comparator
	public void sortUnique (java.util.Comparator) 
		java.util.Comparator comparator
	public java.lang.Object[] toArray () 
		Object[] array
	public void unsafePush (java.lang.Object) 
		Object elem
	public boolean contains (java.lang.Object) 
		Object element
	public int indexOf (java.lang.Object) 
		Object element
	public java.lang.String toString () 
	public int hashCode () 
	public boolean equals (java.lang.Object) 
		Object obj
}

org/sat4j/core/VecInt$1.class
VecInt.java
package org.sat4j.core
 org.sat4j.core.VecInt$1 extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	void  () 
	public int size () 
	public void shrink (int) 
		int nofelems
	public void shrinkTo (int) 
		int newsize
	public org.sat4j.specs.IVecInt pop () 
	public void growTo (int, int) 
		int newsize
		int pad
	public void ensure (int) 
		int nsize
	public org.sat4j.specs.IVecInt push (int) 
		int elem
	public void unsafePush (int) 
		int elem
	public void clear () 
	public int last () 
	public int get (int) 
		int i
	public void set (int, int) 
		int i
		int o
	public boolean contains (int) 
		int e
	public void copyTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt copy
	public void copyTo (int[]) 
		int[] is
	public void moveTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
	public void moveTo2 (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
	public void moveTo (int[]) 
		int[] dest
	public void insertFirst (int) 
		int elem
	public void remove (int) 
		int elem
	public int delete (int) 
		int i
	public void sort () 
	public void sortUnique () 
	public int unsafeGet (int) 
		int eleem
	public int containsAt (int) 
		int e
	public int containsAt (int, int) 
		int e
		int from
	public void moveTo (int, int) 
		int dest
		int source
	public boolean isEmpty () 
	public org.sat4j.specs.IteratorInt iterator () 
	public int[] toArray () 
	public int indexOf (int) 
		int e
	public java.lang.String toString () 
	public void moveTo (int, int[]) 
		int sourceStartingIndex
		int[] dest
	public org.sat4j.specs.IVecInt[] subset (int) 
		int cardinal
	public boolean equals (java.lang.Object) 
		Object o
	public int hashCode () 
}

org/sat4j/core/ReadOnlyVecInt.class
ReadOnlyVecInt.java
package org.sat4j.core
public final org.sat4j.core.ReadOnlyVecInt extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVecInt vec
	public void  (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt vec
	public void clear () 
	public boolean contains (int) 
		int e
	public int containsAt (int) 
		int e
	public int containsAt (int, int) 
		int e
		int from
	public void copyTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt copy
	public void copyTo (int[]) 
		int[] is
	public int delete (int) 
		int i
	public void ensure (int) 
		int nsize
	public int get (int) 
		int i
	public void growTo (int, int) 
		int newsize
		int pad
	public void insertFirst (int) 
		int elem
	public boolean isEmpty () 
	public org.sat4j.specs.IteratorInt iterator () 
	public int last () 
	public void moveTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
	public void moveTo (int[]) 
		int[] dest
	public void moveTo (int, int) 
		int dest
		int source
	public void moveTo2 (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
	public org.sat4j.specs.IVecInt pop () 
	public org.sat4j.specs.IVecInt push (int) 
		int elem
	public void remove (int) 
		int elem
	public void set (int, int) 
		int i
		int o
	public void shrink (int) 
		int nofelems
	public void shrinkTo (int) 
		int newsize
	public int size () 
	public void sort () 
	public void sortUnique () 
	public int unsafeGet (int) 
		int eleem
	public void unsafePush (int) 
		int elem
	public int[] toArray () 
	public int indexOf (int) 
		int e
	public java.lang.String toString () 
	public void moveTo (int, int[]) 
		int sourceStartingIndex
		int[] dest
	public org.sat4j.core.VecInt[] subset (int) 
		int cardinal
	public int hashCode () 
	public boolean equals (java.lang.Object) 
		Object obj
	public volatile org.sat4j.specs.IVecInt[] subset (int) 
}

org/sat4j/core/ConstrGroup.class
ConstrGroup.java
package org.sat4j.core
public org.sat4j.core.ConstrGroup extends java.lang.Object implements org.sat4j.specs.IConstr  {
	private final org.sat4j.specs.IVec constrs
	private final boolean disallowNullConstraints
	public void  () 
	public void  (boolean) 
		boolean disallowNullConstraints
	public void add (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr constr
	public void clear () 
	public void removeFrom (org.sat4j.specs.ISolver) 
		org.sat4j.specs.ISolver solver
		java.util.Iterator it
	public org.sat4j.specs.IConstr getConstr (int) 
		int i
	public int size () 
	public boolean learnt () 
	public double getActivity () 
	public int get (int) 
		int i
	public boolean canBePropagatedMultipleTimes () 
	public java.lang.String toString () 
}

org/sat4j/core/package-info.class
package-info.java
package org.sat4j.core
abstract org.sat4j.core.package-info extends java.lang.Object {
}

org/sat4j/core/VecInt.class
VecInt.java
package org.sat4j.core
public final org.sat4j.core.VecInt extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	public static final org.sat4j.specs.IVecInt EMPTY
	private int nbelem
	private int[] myarray
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void  (int) 
		int size
	public void  (int[]) 
		int[] lits
	public void  (int, int) 
		int size
		int pad
		int i
	public int size () 
	public void shrink (int) 
		int nofelems
	public void shrinkTo (int) 
		int newsize
	public org.sat4j.specs.IVecInt pop () 
	public void growTo (int, int) 
		int newsize
		int pad
	public void ensure (int) 
		int nsize
		int[] narray
	public org.sat4j.specs.IVecInt push (int) 
		int elem
	public void unsafePush (int) 
		int elem
	public void clear () 
	public int last () 
	public int get (int) 
		int i
	public int unsafeGet (int) 
		int i
	public void set (int, int) 
		int i
		int o
	public boolean contains (int) 
		int e
		int[] workArray
		int i
	public int indexOf (int) 
		int e
		int[] workArray
		int i
	public int containsAt (int) 
		int e
	public int containsAt (int, int) 
		int e
		int from
		int[] workArray
		int i
	public void copyTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt copy
		org.sat4j.core.VecInt ncopy
		int nsize
	public void copyTo (int[]) 
		int[] is
	public void moveTo (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
	public void moveTo2 (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt dest
		org.sat4j.core.VecInt ndest
		int[] tmp
	public void moveTo (int, int) 
		int dest
		int source
	public void moveTo (int[]) 
		int[] dest
	public void moveTo (int, int[]) 
		int sourceStartingIndex
		int[] dest
	public void insertFirst (int) 
		int elem
	public void remove (int) 
		int elem
		int j
	public int delete (int) 
		int i
		int ith
	public java.lang.String toString () 
		StringBuffer stb
		int i
	void selectionSort (int, int) 
		int from
		int to
		int i
		int j
		int besti
		int tmp
	void sort (int, int) 
		int from
		int to
		int width
		int[] locarray
		int pivot
		int tmp
		int i
		int j
	public void sort () 
	public void sortUnique () 
		int i
		int j
		int last
		int[] locarray
	public boolean equals (java.lang.Object) 
		Object obj
		org.sat4j.specs.IVecInt v
		int i
	public int hashCode () 
		long sum
		int i
	public void pushAll (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt vec
		org.sat4j.core.VecInt nvec
		int nsize
	public boolean isSubsetOf (org.sat4j.core.VecInt) 
		org.sat4j.core.VecInt vec
		int i
		int j
	public org.sat4j.specs.IteratorInt iterator () 
	public boolean isEmpty () 
	public int[] toArray () 
	public org.sat4j.specs.IVecInt[] subset (int) 
		int cardinal
		java.util.List liste
		org.sat4j.specs.IVecInt[] result
		org.sat4j.specs.IVecInt[] result
		org.sat4j.specs.IVecInt[] result
		int i
		org.sat4j.core.VecInt subVec
		org.sat4j.core.VecInt newVec
		org.sat4j.specs.IVecInt vecWithFirst
		org.sat4j.specs.IVecInt vecWithoutFirst
		int i
	static int access$0 (org.sat4j.core.VecInt) 
	static int[] access$1 (org.sat4j.core.VecInt) 
}

org/sat4j/core/VecInt$1$1.class
VecInt.java
package org.sat4j.core
 org.sat4j.core.VecInt$1$1 extends java.lang.Object implements org.sat4j.specs.IteratorInt  {
	final org.sat4j.core.VecInt$1 this$1
	void  (org.sat4j.core.VecInt$1) 
	public boolean hasNext () 
	public int next () 
}

org/sat4j/core/ASolverFactory.class
ASolverFactory.java
package org.sat4j.core
public abstract org.sat4j.core.ASolverFactory extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public java.lang.String[] solverNames () 
		java.util.List l
		java.lang.reflect.Method[] solvers
		java.lang.reflect.Method solver
		String[] names
	public org.sat4j.specs.ISolver createSolverByName (java.lang.String) 
		String solvername
		Class[] paramtypes
		java.lang.reflect.Method m
		SecurityException e
		IllegalArgumentException e
		NoSuchMethodException e
		IllegalAccessException e
		java.lang.reflect.InvocationTargetException e
	public abstract org.sat4j.specs.ISolver defaultSolver () 
	public abstract org.sat4j.specs.ISolver lightSolver () 
}

org/sat4j/core/LiteralsUtils.class
LiteralsUtils.java
package org.sat4j.core
public final org.sat4j.core.LiteralsUtils extends java.lang.Object {
	static final boolean $assertionsDisabled
	static void  () 
	private void  () 
	public static int var (int) 
		int p
	public static int neg (int) 
		int p
	public static int posLit (int) 
		int var
	public static int negLit (int) 
		int var
	public static int toDimacs (int) 
		int p
	public static int toInternal (int) 
		int x
}

org/sat4j/core/Vec.class
Vec.java
package org.sat4j.core
public final org.sat4j.core.Vec extends java.lang.Object implements org.sat4j.specs.IVec  {
	private static final long serialVersionUID
	private int nbelem
	private Object[] myarray
	public void  () 
	public void  (java.lang.Object[]) 
		Object[] elts
	public void  (int) 
		int size
	public void  (int, java.lang.Object) 
		int size
		Object pad
		int i
	public int size () 
	public void shrink (int) 
		int nofelems
	public void shrinkTo (int) 
		int newsize
		int i
	public void pop () 
	public void growTo (int, java.lang.Object) 
		int newsize
		Object pad
		int i
	public void ensure (int) 
		int nsize
		Object[] narray
	public org.sat4j.specs.IVec push (java.lang.Object) 
		Object elem
	public void unsafePush (java.lang.Object) 
		Object elem
	public void insertFirst (java.lang.Object) 
		Object elem
	public void insertFirstWithShifting (java.lang.Object) 
		Object elem
		int i
	public void clear () 
	public java.lang.Object last () 
	public java.lang.Object get (int) 
		int index
	public void set (int, java.lang.Object) 
		int index
		Object elem
	public void remove (java.lang.Object) 
		Object elem
		int j
	public java.lang.Object delete (int) 
		int index
		Object ith
	public void copyTo (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec copy
		org.sat4j.core.Vec ncopy
		int nsize
	public void copyTo (java.lang.Object[]) 
		Object[] dest
	public void moveTo (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec dest
	public void moveTo (int, int) 
		int dest
		int source
	public java.lang.Object[] toArray () 
	public java.lang.String toString () 
		StringBuffer stb
		int i
	void selectionSort (int, int, java.util.Comparator) 
		int from
		int to
		java.util.Comparator cmp
		int i
		int j
		int besti
		Object tmp
	void sort (int, int, java.util.Comparator) 
		int from
		int to
		java.util.Comparator cmp
		int width
		Object pivot
		Object tmp
		int i
		int j
	public void sort (java.util.Comparator) 
		java.util.Comparator comparator
	public void sortUnique (java.util.Comparator) 
		java.util.Comparator cmp
		int i
		int j
		Object last
	public boolean equals (java.lang.Object) 
		Object obj
		org.sat4j.specs.IVec v
		int i
	public int hashCode () 
		int sum
		int i
	public java.util.Iterator iterator () 
	public boolean isEmpty () 
	public boolean contains (java.lang.Object) 
		Object e
		int i
	public int indexOf (java.lang.Object) 
		Object element
		int i
	static int access$0 (org.sat4j.core.Vec) 
	static java.lang.Object[] access$1 (org.sat4j.core.Vec) 
}

org/sat4j/core/DefaultComparator.class
DefaultComparator.java
package org.sat4j.core
public final org.sat4j.core.DefaultComparator extends java.lang.Object implements java.util.Comparator java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public int compare (java.lang.Comparable, java.lang.Comparable) 
		Comparable a
		Comparable b
	public volatile int compare (java.lang.Object, java.lang.Object) 
}

org/sat4j/core/Vec$1.class
Vec.java
package org.sat4j.core
 org.sat4j.core.Vec$1 extends java.lang.Object implements java.util.Iterator  {
	private int i
	final org.sat4j.core.Vec this$0
	void  (org.sat4j.core.Vec) 
	public boolean hasNext () 
	public java.lang.Object next () 
	public void remove () 
}

org/sat4j/AbstractLauncher.class
AbstractLauncher.java
package org.sat4j
public abstract org.sat4j.AbstractLauncher extends java.lang.Object implements java.io.Serializable org.sat4j.specs.ILogAble  {
	private static final long serialVersionUID
	public static final String COMMENT_PREFIX
	protected long beginTime
	protected org.sat4j.ExitCode exitCode
	protected org.sat4j.reader.Reader reader
	protected transient java.io.PrintWriter out
	private boolean displaySolutionLine
	protected transient Thread shutdownHook
	protected org.sat4j.specs.ISolver solver
	protected org.sat4j.specs.IProblem problem
	public boolean silent
	protected boolean prime
	private org.sat4j.ILauncherMode launcherMode
	protected void setLauncherMode (org.sat4j.ILauncherMode) 
		org.sat4j.ILauncherMode launcherMode
	protected void setIncomplete (boolean) 
		boolean isIncomplete
	protected void  () 
	protected void displayResult () 
	public abstract void usage () 
	protected final void displayHeader () 
		java.net.URL url
		java.io.BufferedReader in
		java.io.IOException e
		java.io.IOException e
		java.io.IOException e
		java.io.IOException e
		java.util.Properties prop
		String[] infoskeys
		String key
		Runtime runtime
	public void displayLicense () 
	protected org.sat4j.specs.IProblem readProblem (java.lang.String)  throws org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
		String problemname
		org.sat4j.specs.IProblem aProblem
		String proofFile
	protected abstract org.sat4j.reader.Reader createReader (org.sat4j.specs.ISolver, java.lang.String) 
	public void run (java.lang.String[]) 
		String[] args
		String all
		org.sat4j.tools.SearchEnumeratorListener enumerator
		org.sat4j.tools.SearchMinOneListener minone
		String instanceName
		java.io.FileNotFoundException e
		java.io.IOException e
		org.sat4j.reader.ParseFormatException e
	protected abstract java.lang.String getInstanceName (java.lang.String[]) 
	protected abstract org.sat4j.specs.ISolver configureSolver (java.lang.String[]) 
	public void log (java.lang.String) 
		String message
	protected void solve (org.sat4j.specs.IProblem)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IProblem problem
	protected void setDisplaySolutionLine (boolean) 
		boolean value
	public final void setExitCode (org.sat4j.ExitCode) 
		org.sat4j.ExitCode exitCode
	public final org.sat4j.ExitCode getExitCode () 
	public final long getBeginTime () 
	public final org.sat4j.reader.Reader getReader () 
	public void setLogWriter (java.io.PrintWriter) 
		java.io.PrintWriter out
	public java.io.PrintWriter getLogWriter () 
	protected void setSilent (boolean) 
		boolean b
	private void readObject (java.io.ObjectInputStream)  throws java.io.IOException java.lang.ClassNotFoundException 
		java.io.ObjectInputStream stream
	protected void showAvailableSolvers (org.sat4j.core.ASolverFactory) 
		org.sat4j.core.ASolverFactory afactory
	protected void showAvailableSolvers (org.sat4j.core.ASolverFactory, java.lang.String) 
		org.sat4j.core.ASolverFactory afactory
		String framework
		String[] names
		String name
}

org/sat4j/AbstractOptimizationLauncher.class
AbstractOptimizationLauncher.java
package org.sat4j
public abstract org.sat4j.AbstractOptimizationLauncher extends org.sat4j.AbstractLauncher {
	private static final long serialVersionUID
	private static final String CURRENT_OPTIMUM_VALUE_PREFIX
	private boolean incomplete
	private boolean displaySolutionLine
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	protected void setIncomplete (boolean) 
		boolean value
	protected void setDisplaySolutionLine (boolean) 
		boolean value
	protected void displayResult () 
	protected void displayAnswer () 
		java.io.PrintWriter out
		org.sat4j.ExitCode exitCode
		org.sat4j.specs.IOptimizationProblem optproblem
	protected void solve (org.sat4j.specs.IProblem)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IProblem problem
		boolean isSatisfiable
		org.sat4j.specs.IOptimizationProblem optproblem
}

org/sat4j/AbstractLauncher$1.class
AbstractLauncher.java
package org.sat4j
 org.sat4j.AbstractLauncher$1 extends java.lang.Thread {
	final org.sat4j.AbstractLauncher this$0
	void  (org.sat4j.AbstractLauncher) 
	public void run () 
}

org/sat4j/minisat/SolverFactory.class
SolverFactory.java
package org.sat4j.minisat
public final org.sat4j.minisat.SolverFactory extends org.sat4j.core.ASolverFactory {
	private static final long serialVersionUID
	private static org.sat4j.minisat.SolverFactory instance
	private void  () 
	private static synchronized void createInstance () 
	public static org.sat4j.minisat.SolverFactory instance () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeap () 
	public static org.sat4j.minisat.core.ICDCL newMiniLearningHeapEZSimp () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapExpSimp () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapRsatExpSimp () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapRsatExpSimpBiere () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newMiniLearningHeapRsatExpSimpLuby () 
		org.sat4j.minisat.core.ICDCL solver
	public static org.sat4j.minisat.core.ICDCL newGlucose21 () 
		org.sat4j.minisat.core.Solver solver
	private static org.sat4j.minisat.core.Solver newBestCurrentSolverConfiguration (org.sat4j.minisat.core.DataStructureFactory) 
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.learning.MiniSATLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newGreedySolver () 
		org.sat4j.minisat.learning.MiniSATLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newDefaultAutoErasePhaseSaving () 
		org.sat4j.minisat.core.ICDCL solver
	public static org.sat4j.minisat.core.ICDCL newDefaultMS21PhaseSaving () 
		org.sat4j.minisat.core.ICDCL solver
	public static org.sat4j.minisat.core.Solver newBestWL () 
	public static org.sat4j.minisat.core.ICDCL newBestHT () 
	public static org.sat4j.minisat.core.ICDCL newBest17 () 
		org.sat4j.minisat.core.Solver solver
		org.sat4j.minisat.learning.LimitedLearning learning
	public static org.sat4j.minisat.core.Solver newGlucose () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniLearningHeap (org.sat4j.minisat.core.DataStructureFactory) 
		org.sat4j.minisat.core.DataStructureFactory dsf
	public static org.sat4j.minisat.core.Solver newMiniLearning (org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.IOrder) 
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.core.IOrder order
		org.sat4j.minisat.learning.MiniSATLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newMiniLearningHeapEZSimpNoRestarts () 
		org.sat4j.minisat.learning.LimitedLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newMiniLearningHeapEZSimpLongRestarts () 
		org.sat4j.minisat.learning.LimitedLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniSATHeap () 
	public static org.sat4j.minisat.core.ICDCL newMiniSATHeapEZSimp () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newMiniSATHeapExpSimp () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newMiniSATHeap (org.sat4j.minisat.core.DataStructureFactory) 
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.learning.MiniSATLearning learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.ICDCL newBackjumping () 
		org.sat4j.minisat.learning.NoLearningButHeuristics learning
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.specs.ISolver newMinOneSolver () 
	public static org.sat4j.specs.ISolver newDefault () 
	public org.sat4j.specs.ISolver defaultSolver () 
	public static org.sat4j.specs.ISolver newLight () 
	public org.sat4j.specs.ISolver lightSolver () 
	public static org.sat4j.specs.ISolver newDimacsOutput () 
	public static org.sat4j.specs.ISolver newStatistics () 
	public static org.sat4j.specs.ISolver newParallel () 
	public static org.sat4j.specs.ISolver newSATUNSAT () 
	public static org.sat4j.minisat.core.Solver newSAT () 
		org.sat4j.minisat.core.Solver solver
	public static org.sat4j.minisat.core.Solver newUNSAT () 
		org.sat4j.minisat.core.Solver solver
}

org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class
LearntBinaryClause.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.LearntBinaryClause extends org.sat4j.minisat.constraints.cnf.BinaryClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void setLearnt () 
	public boolean learnt () 
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double d
}

org/sat4j/minisat/constraints/cnf/LearntHTClause.class
LearntHTClause.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.LearntHTClause extends org.sat4j.minisat.constraints.cnf.HTClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void register () 
		int maxi
		int maxlevel
		int i
		int level
		int l
	public boolean learnt () 
	public void setLearnt () 
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double d
}

org/sat4j/minisat/constraints/cnf/WLClause.class
WLClause.java
package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.WLClause extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	protected final int[] lits
	protected final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
		int[] mylits
		int i
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
	public boolean simplify () 
		int lit
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
		int[] mylits
		int previous
		int tmp
		int tmp
		int i
	public boolean locked () 
	public double getActivity () 
	public void setActivity (double) 
		double d
	public java.lang.String toString () 
		StringBuffer stb
		int lit
	public int get (int) 
		int i
	public void rescaleBy (double) 
		double d
	public int size () 
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
		int[] tmp
	public boolean equals (java.lang.Object) 
		Object obj
		org.sat4j.minisat.constraints.cnf.WLClause wcl
		boolean ok
		int lit
		int lit2
	public int hashCode () 
		long sum
		int p
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/cnf/UnitClause.class
UnitClause.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.UnitClause extends java.lang.Object implements org.sat4j.minisat.core.Constr  {
	protected final int literal
	protected double activity
	public void  (int) 
		int value
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
	public double getActivity () 
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double claInc
	public boolean locked () 
	public void register () 
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
	public void rescaleBy (double) 
		double d
	public void setLearnt () 
	public boolean simplify () 
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
	public int get (int) 
		int i
	public boolean learnt () 
	public int size () 
	public void forwardActivity (double) 
		double claInc
	public java.lang.String toString () 
	public boolean canBePropagatedMultipleTimes () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/cnf/OriginalHTClause.class
OriginalHTClause.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.OriginalHTClause extends org.sat4j.minisat.constraints.cnf.HTClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalHTClause brandNewClause (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt literals
		org.sat4j.minisat.constraints.cnf.OriginalHTClause c
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double claInc
}

org/sat4j/minisat/constraints/cnf/UnitClauses.class
UnitClauses.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.UnitClauses extends java.lang.Object implements org.sat4j.minisat.core.Constr  {
	protected final int[] literals
	public void  (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt values
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		int p
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
	public double getActivity () 
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double claInc
	public boolean locked () 
	public void register () 
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
		int i
	public void rescaleBy (double) 
		double d
	public void setLearnt () 
	public boolean simplify () 
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
	public int get (int) 
		int i
	public boolean learnt () 
	public int size () 
	public void forwardActivity (double) 
		double claInc
	public boolean canBePropagatedMultipleTimes () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/cnf/BinaryClause.class
BinaryClause.java
package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.BinaryClause extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	private final org.sat4j.minisat.core.ILits voc
	protected int head
	protected int tail
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
	public boolean simplify () 
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
	public boolean locked () 
	public double getActivity () 
	public java.lang.String toString () 
		StringBuffer stb
	public int get (int) 
		int i
	public void rescaleBy (double) 
		double d
	public int size () 
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
		int[] tmp
	public boolean equals (java.lang.Object) 
		Object obj
		org.sat4j.minisat.constraints.cnf.BinaryClause wcl
	public int hashCode () 
		long sum
	public void register () 
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/cnf/package-info.class
package-info.java
package org.sat4j.minisat.constraints.cnf
abstract org.sat4j.minisat.constraints.cnf.package-info extends java.lang.Object {
}

org/sat4j/minisat/constraints/cnf/LearntWLClause.class
LearntWLClause.java
package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.LearntWLClause extends org.sat4j.minisat.constraints.cnf.WLClause {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void register () 
		int maxi
		int maxlevel
		int i
		int level
		int l
	public boolean learnt () 
	public void setLearnt () 
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
}

org/sat4j/minisat/constraints/cnf/Clauses.class
Clauses.java
package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.Clauses extends java.lang.Object {
	public void  () 
	public static org.sat4j.specs.IVecInt sanityCheck (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits, org.sat4j.specs.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.UnitPropagationListener s
		int i
		int i
	static boolean propagationCheck (org.sat4j.specs.IVecInt, org.sat4j.specs.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt ps
		org.sat4j.specs.UnitPropagationListener s
}

org/sat4j/minisat/constraints/cnf/HTClause.class
HTClause.java
package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.HTClause extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	protected final int[] middleLits
	protected final org.sat4j.minisat.core.ILits voc
	protected int head
	protected int tail
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
		int size
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
		int[] mylits
		int mylit
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
	public boolean simplify () 
		int middleLit
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
		int[] mylits
		int temphead
		int[] mylits
		int temptail
	public boolean locked () 
	public double getActivity () 
	public java.lang.String toString () 
		StringBuffer stb
		int middleLit
	public int get (int) 
		int i
	public void rescaleBy (double) 
		double d
	public int size () 
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		boolean ret
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
		int[] tmp
	public boolean equals (java.lang.Object) 
		Object obj
		org.sat4j.minisat.constraints.cnf.HTClause wcl
		boolean ok
		int lit
		int lit2
	public int hashCode () 
		long sum
		int p
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class
OriginalBinaryClause.java
package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.OriginalBinaryClause extends org.sat4j.minisat.constraints.cnf.BinaryClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void setLearnt () 
	public boolean learnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalBinaryClause brandNewClause (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt literals
		org.sat4j.minisat.constraints.cnf.OriginalBinaryClause c
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double claInc
}

org/sat4j/minisat/constraints/cnf/OriginalWLClause.class
OriginalWLClause.java
package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.OriginalWLClause extends org.sat4j.minisat.constraints.cnf.WLClause {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
		org.sat4j.specs.IVecInt ps
		org.sat4j.minisat.core.ILits voc
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalWLClause brandNewClause (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt literals
		org.sat4j.minisat.constraints.cnf.OriginalWLClause c
	public void forwardActivity (double) 
		double claInc
	public void incActivity (double) 
		double claInc
}

org/sat4j/minisat/constraints/cnf/Lits.class
Lits.java
package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.Lits extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ILits  {
	private static final int DEFAULT_INIT_SIZE
	private static final long serialVersionUID
	private boolean[] pool
	private int realnVars
	private org.sat4j.specs.IVec[] watches
	private int[] level
	private org.sat4j.minisat.core.Constr[] reason
	private int maxvarid
	private org.sat4j.specs.IVec[] undos
	private boolean[] falsified
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void init (int) 
		int nvar
		int nvars
		boolean[] npool
		int[] nlevel
		org.sat4j.specs.IVec[] nwatches
		org.sat4j.specs.IVec[] nundos
		org.sat4j.minisat.core.Constr[] nreason
		boolean[] newFalsified
	public int getFromPool (int) 
		int x
		int var
		int lit
	public boolean belongsToPool (int) 
		int x
	public void resetPool () 
		int i
	public void ensurePool (int) 
		int howmany
	public void unassign (int) 
		int lit
	public void satisfies (int) 
		int lit
	public void forgets (int) 
		int var
	public boolean isSatisfied (int) 
		int lit
	public boolean isFalsified (int) 
		int lit
	public boolean isUnassigned (int) 
		int lit
	public java.lang.String valueToString (int) 
		int lit
	public int nVars () 
	public int not (int) 
		int lit
	public static java.lang.String toString (int) 
		int lit
	public void reset (int) 
		int lit
	public int getLevel (int) 
		int lit
	public void setLevel (int, int) 
		int lit
		int l
	public org.sat4j.minisat.core.Constr getReason (int) 
		int lit
	public void setReason (int, org.sat4j.minisat.core.Constr) 
		int lit
		org.sat4j.minisat.core.Constr r
	public org.sat4j.specs.IVec undos (int) 
		int lit
	public void watch (int, org.sat4j.minisat.core.Propagatable) 
		int lit
		org.sat4j.minisat.core.Propagatable c
	public org.sat4j.specs.IVec watches (int) 
		int lit
	public boolean isImplied (int) 
		int lit
		int var
	public int realnVars () 
	protected int capacity () 
	public int nextFreeVarId (boolean) 
		boolean reserve
}

org/sat4j/minisat/constraints/card/package-info.class
package-info.java
package org.sat4j.minisat.constraints.card
abstract org.sat4j.minisat.constraints.card.package-info extends java.lang.Object {
}

org/sat4j/minisat/constraints/card/AtLeast.class
AtLeast.java
package org.sat4j.minisat.constraints.card
public org.sat4j.minisat.constraints.card.AtLeast extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	protected int maxUnsatisfied
	private int counter
	protected final int[] lits
	protected final org.sat4j.minisat.core.ILits voc
	public void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int) 
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		int degree
	protected static int niceParameters (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		int deg
		int degree
		int i
		int i
	public static org.sat4j.minisat.core.Constr atLeastNew (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		int n
		int degree
		org.sat4j.minisat.core.Constr constr
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
		int q
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
		int q
	public boolean simplify () 
	public void undo (int) 
		int p
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
		int c
		int q
	public boolean learnt () 
	public double getActivity () 
	public void setActivity (double) 
		double d
	public void incActivity (double) 
		double claInc
	public boolean locked () 
	public void setLearnt () 
	public void register () 
		int q
	public int size () 
	public int get (int) 
		int i
	public void rescaleBy (double) 
		double d
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public java.lang.String toString () 
		StringBuffer stb
		int lit
	public void forwardActivity (double) 
		double claInc
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
		int c
		org.sat4j.specs.IVecInt vlits
		org.sat4j.specs.IteratorInt it
		int q
}

org/sat4j/minisat/constraints/card/MaxWatchCard.class
MaxWatchCard.java
package org.sat4j.minisat.constraints.card
public final org.sat4j.minisat.constraints.card.MaxWatchCard extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	private int degree
	private final int[] lits
	private boolean moreThan
	private int watchCumul
	private final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int) 
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		boolean moreThan
		int degree
		int[] index
		int i
		int i
		int ind
		int i
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
		int lit
	public double getActivity () 
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double d
	public boolean learnt () 
	public boolean locked () 
	public static org.sat4j.minisat.core.Constr maxWatchCardNew (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		boolean moreThan
		int degree
		org.sat4j.minisat.constraints.card.MaxWatchCard outclause
		int i
		int i
	public void normalize () 
		int indLit
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
		int q
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
		int q
	public void rescaleBy (double) 
		double d
	public boolean simplify () 
		int i
		int curr
	public java.lang.String toString () 
		StringBuffer stb
		int i
	public void undo (int) 
		int p
	public void setLearnt () 
	public void register () 
	public int size () 
	public int get (int) 
		int i
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public java.math.BigInteger getCoef (int) 
		int literal
	public java.math.BigInteger getDegree () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void forwardActivity (double) 
		double claInc
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
}

org/sat4j/minisat/constraints/card/MinWatchCard.class
MinWatchCard.java
package org.sat4j.minisat.constraints.card
public org.sat4j.minisat.constraints.card.MinWatchCard extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	public static final boolean ATLEAST
	public static final boolean ATMOST
	protected int degree
	private final int[] lits
	private boolean moreThan
	protected int watchCumul
	private final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static void  () 
	public void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int) 
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		boolean moreThan
		int degree
		int[] index
		int i
		int p
		int ind
	protected void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int) 
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		int degree
	public void calcReason (int, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt outReason
		int lit
	public double getActivity () 
	public void incActivity (double) 
		double claInc
	public void setActivity (double) 
		double d
	public boolean learnt () 
	protected static int linearisation (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		int modif
		int i
	public boolean locked () 
	public static org.sat4j.minisat.core.Constr minWatchCardNew (org.sat4j.specs.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.UnitPropagationListener s
		org.sat4j.minisat.core.ILits voc
		org.sat4j.specs.IVecInt ps
		boolean moreThan
		int degree
		int mydegree
		int i
		org.sat4j.minisat.constraints.card.MinWatchCard retour
	public final void normalize () 
		int indLit
	public boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
		org.sat4j.specs.UnitPropagationListener s
		int p
		int indFalsified
		int indSwap
		int i
		int tmpInt
	public void remove (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener upl
		int i
	public void rescaleBy (double) 
		double d
	public boolean simplify () 
		int i
		int count
	public java.lang.String toString () 
		StringBuffer stb
		int i
	public void undo (int) 
		int p
	public void setLearnt () 
	public void register () 
	public int size () 
	public int get (int) 
		int i
	public void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
		int i
	protected void computeWatches () 
		int indSwap
		int tmpInt
		int tmpInt
		int i
		int free
		int maxlevel
		int maxi
		int i
		int level
	protected org.sat4j.minisat.constraints.card.MinWatchCard computePropagation (org.sat4j.specs.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.UnitPropagationListener s
		int i
	public int[] getLits () 
		int[] tmp
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public boolean equals (java.lang.Object) 
		Object card
		org.sat4j.minisat.constraints.card.MinWatchCard mcard
		boolean ok
		int lit
		int lit2
	public int hashCode () 
		long sum
		int p
	public void forwardActivity (double) 
		double claInc
	public boolean canBePropagatedMultipleTimes () 
	public org.sat4j.minisat.core.Constr toConstraint () 
	public void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
		int p
		org.sat4j.specs.IVecInt trail
		org.sat4j.specs.IVecInt outReason
		int bound
		int i
		int q
}

org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class
MixedDataStructureDanielWL.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt v
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/AbstractDataStructureFactory.class
AbstractDataStructureFactory.java
package org.sat4j.minisat.constraints
public abstract org.sat4j.minisat.constraints.AbstractDataStructureFactory extends java.lang.Object implements org.sat4j.minisat.core.DataStructureFactory java.io.Serializable  {
	private static final long serialVersionUID
	protected org.sat4j.minisat.core.ILits lits
	private final org.sat4j.specs.IVec tmp
	protected org.sat4j.specs.UnitPropagationListener solver
	protected org.sat4j.minisat.core.Learner learner
	public void conflictDetectedInWatchesFor (int, int) 
		int p
		int i
		int j
	public org.sat4j.specs.IVec getWatchesFor (int) 
		int p
	protected void  () 
	protected abstract org.sat4j.minisat.core.ILits createLits () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void setUnitPropagationListener (org.sat4j.specs.UnitPropagationListener) 
		org.sat4j.specs.UnitPropagationListener s
	public void setLearner (org.sat4j.minisat.core.Learner) 
		org.sat4j.minisat.core.Learner learner
	public void reset () 
	public void learnConstraint (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
}

org/sat4j/minisat/constraints/package-info.class
package-info.java
package org.sat4j.minisat.constraints
abstract org.sat4j.minisat.constraints.package-info extends java.lang.Object {
}

org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class
CardinalityDataStructureYanMax.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
}

org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class
MixedDataStructureSingleWL.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt v
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/ClausalDataStructureWL.class
ClausalDataStructureWL.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.ClausalDataStructureWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt v
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class
CardinalityDataStructureYanMin.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
}

org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class
MixedDataStructureDanielHT.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt v
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/CardinalityDataStructure.class
CardinalityDataStructure.java
package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructure extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
	public org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
		org.sat4j.specs.IVecInt literals
		int degree
}

org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class
AbstractCardinalityDataStructure.java
package org.sat4j.minisat.constraints
public abstract org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/learning/ActiveLearning.class
ActiveLearning.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.ActiveLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private double percent
	private org.sat4j.minisat.core.IOrder order
	private int maxpercent
	public void  () 
	public void  (double) 
		double d
	public void setOrder (org.sat4j.minisat.core.IOrder) 
		org.sat4j.minisat.core.IOrder order
	public void setSolver (org.sat4j.minisat.core.Solver) 
		org.sat4j.minisat.core.Solver s
	public void setActivityPercent (double) 
		double d
	public double getActivityPercent () 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr clause
		int nbactivevars
		int i
	public java.lang.String toString () 
	public void setLimit (int) 
		int percent
	public int getLimit () 
}

org/sat4j/minisat/learning/MiniSATLearning.class
MiniSATLearning.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	private org.sat4j.minisat.core.DataStructureFactory dsf
	public void  () 
	public void setDataStructureFactory (org.sat4j.minisat.core.DataStructureFactory) 
		org.sat4j.minisat.core.DataStructureFactory dsf
	public void setSolver (org.sat4j.minisat.core.Solver) 
		org.sat4j.minisat.core.Solver s
	public void learns (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
	public java.lang.String toString () 
}

org/sat4j/minisat/learning/FixedLengthLearning.class
FixedLengthLearning.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.FixedLengthLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private int maxlength
	private int bound
	public void  () 
	public void  (int) 
		int maxlength
	public void init () 
	public void setMaxLength (int) 
		int v
	public int getMaxLength () 
	public java.lang.String toString () 
	protected void setBound (int) 
		int newbound
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
}

org/sat4j/minisat/learning/PercentLengthLearning.class
PercentLengthLearning.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.PercentLengthLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private int maxpercent
	private int bound
	public void  () 
	public void  (int) 
		int percent
	public void setLimit (int) 
		int percent
	public int getLimit () 
	public void init () 
	public java.lang.String toString () 
	protected void setBound (int) 
		int newbound
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
}

org/sat4j/minisat/learning/AbstractLearning.class
AbstractLearning.java
package org.sat4j.minisat.learning
abstract org.sat4j.minisat.learning.AbstractLearning extends java.lang.Object implements org.sat4j.minisat.core.LearningStrategy  {
	private static final long serialVersionUID
	private org.sat4j.minisat.core.VarActivityListener val
	static final boolean $assertionsDisabled
	static void  () 
	void  () 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
		org.sat4j.minisat.core.VarActivityListener s
	public void setSolver (org.sat4j.minisat.core.Solver) 
		org.sat4j.minisat.core.Solver s
	public final void claBumpActivity (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
		int i
		int q
	public void init () 
}

org/sat4j/minisat/learning/LimitedLearning.class
LimitedLearning.java
package org.sat4j.minisat.learning
public abstract org.sat4j.minisat.learning.LimitedLearning extends java.lang.Object implements org.sat4j.minisat.core.LearningStrategy  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.learning.NoLearningButHeuristics none
	private final org.sat4j.minisat.learning.MiniSATLearning all
	protected org.sat4j.minisat.core.ILits lits
	private org.sat4j.minisat.core.SolverStats stats
	public void  () 
	public void setSolver (org.sat4j.minisat.core.Solver) 
		org.sat4j.minisat.core.Solver s
	public void learns (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
	protected abstract boolean learningCondition (org.sat4j.minisat.core.Constr) 
	public void init () 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
		org.sat4j.minisat.core.VarActivityListener s
}

org/sat4j/minisat/learning/package-info.class
package-info.java
package org.sat4j.minisat.learning
abstract org.sat4j.minisat.learning.package-info extends java.lang.Object {
}

org/sat4j/minisat/learning/NoLearningButHeuristics.class
NoLearningButHeuristics.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	public void  () 
	public void learns (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
}

org/sat4j/minisat/learning/ClauseOnlyLearning.class
ClauseOnlyLearning.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.ClauseOnlyLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	public void  () 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
	public java.lang.String toString () 
}

org/sat4j/minisat/learning/NoLearningNoHeuristics.class
NoLearningNoHeuristics.java
package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	public void  () 
	public void learns (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
}

org/sat4j/minisat/orders/VarOrderHeap.class
VarOrderHeap.java
package org.sat4j.minisat.orders
public org.sat4j.minisat.orders.VarOrderHeap extends java.lang.Object implements org.sat4j.minisat.core.IOrder java.io.Serializable  {
	private static final long serialVersionUID
	private static final double VAR_RESCALE_FACTOR
	private static final double VAR_RESCALE_BOUND
	protected double[] activity
	private double varDecay
	private double varInc
	protected org.sat4j.minisat.core.ILits lits
	private long nullchoice
	protected org.sat4j.minisat.core.Heap heap
	protected org.sat4j.minisat.core.IPhaseSelectionStrategy phaseStrategy
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void  (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
		org.sat4j.minisat.core.IPhaseSelectionStrategy strategy
	public void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
		org.sat4j.minisat.core.IPhaseSelectionStrategy strategy
	public org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public void setLits (org.sat4j.minisat.core.ILits) 
		org.sat4j.minisat.core.ILits lits
	public int select () 
		int var
		int next
	public void setVarDecay (double) 
		double d
	public void undo (int) 
		int x
	public void updateVar (int) 
		int p
		int var
	protected void updateActivity (int) 
		int var
	public void varDecayActivity () 
	private void varRescaleActivity () 
		int i
	public double varActivity (int) 
		int p
	public int numberOfInterestingVariables () 
		int cpt
		int i
	public void init () 
		int nlength
		int i
	public java.lang.String toString () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public void assignLiteral (int) 
		int p
	public void updateVarAtDecisionLevel (int) 
		int q
	public double[] getVariableHeuristics () 
}

org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class
PhaseCachingAutoEraseStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public void updateVar (int) 
		int p
	public java.lang.String toString () 
	public void updateVarAtDecisionLevel (int) 
		int q
}

org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class
RSATLastLearnedClausesPhaseSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public java.lang.String toString () 
	public void updateVar (int) 
		int p
	public void updateVarAtDecisionLevel (int) 
		int p
}

org/sat4j/minisat/orders/ValuedLit.class
ValuedLit.java
package org.sat4j.minisat.orders
final org.sat4j.minisat.orders.ValuedLit extends java.lang.Object implements java.lang.Comparable  {
	final int id
	final int count
	void  (int, int) 
		int id
		int count
	public int compareTo (org.sat4j.minisat.orders.ValuedLit) 
		org.sat4j.minisat.orders.ValuedLit t
	public boolean equals (java.lang.Object) 
		Object o
	public int hashCode () 
	public java.lang.String toString () 
	public volatile int compareTo (java.lang.Object) 
}

org/sat4j/minisat/orders/PureOrder.class
PureOrder.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PureOrder extends org.sat4j.minisat.orders.VarOrderHeap {
	private static final long serialVersionUID
	private int period
	private int cpt
	public void  () 
	public void  (int) 
		int p
	public void setPeriod (int) 
		int p
	public int getPeriod () 
	public int select () 
		int nblits
		int i
	public java.lang.String toString () 
}

org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class
UserFixedPhaseSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public void updateVar (int) 
		int p
	public java.lang.String toString () 
	public void updateVarAtDecisionLevel (int) 
		int q
}

org/sat4j/minisat/orders/SubsetVarOrder.class
SubsetVarOrder.java
package org.sat4j.minisat.orders
public org.sat4j.minisat.orders.SubsetVarOrder extends org.sat4j.minisat.orders.VarOrderHeap {
	private final int[] varsToTest
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static void  () 
	public void  (int[]) 
		int[] varsToTest
	public void init () 
		int nlength
		int var
}

org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class
AbstractPhaserecordingSelectionStrategy.java
package org.sat4j.minisat.orders
abstract org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	protected int[] phase
	void  () 
	public void init (int) 
		int nlength
		int i
	public void init (int, int) 
		int var
		int p
	public int select (int) 
		int var
}

org/sat4j/minisat/orders/RandomWalkDecorator.class
RandomWalkDecorator.java
package org.sat4j.minisat.orders
public org.sat4j.minisat.orders.RandomWalkDecorator extends java.lang.Object implements org.sat4j.minisat.core.IOrder java.io.Serializable  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.orders.VarOrderHeap decorated
	private double p
	private static final java.util.Random RAND
	private org.sat4j.minisat.core.ILits voc
	private int nbRandomWalks
	static void  () 
	public void  (org.sat4j.minisat.orders.VarOrderHeap) 
		org.sat4j.minisat.orders.VarOrderHeap order
	public void  (org.sat4j.minisat.orders.VarOrderHeap, double) 
		org.sat4j.minisat.orders.VarOrderHeap order
		double p
	public void assignLiteral (int) 
		int q
	public org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public double getProbability () 
	public void setProbability (double) 
		double p
	public void init () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public int select () 
		int var
		int lit
		int max
	public void setLits (org.sat4j.minisat.core.ILits) 
		org.sat4j.minisat.core.ILits lits
	public void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
		org.sat4j.minisat.core.IPhaseSelectionStrategy strategy
	public void setVarDecay (double) 
		double d
	public void undo (int) 
		int x
	public void updateVar (int) 
		int q
	public double varActivity (int) 
		int q
	public void varDecayActivity () 
	public void updateVarAtDecisionLevel (int) 
		int q
	public java.lang.String toString () 
	public double[] getVariableHeuristics () 
}

org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class
RandomLiteralSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public static final java.util.Random RAND
	static void  () 
	public void  () 
	public void assignLiteral (int) 
		int p
	public void init (int) 
		int nlength
	public void init (int, int) 
		int var
		int p
	public int select (int) 
		int var
	public void updateVar (int) 
		int p
	public void updateVarAtDecisionLevel (int) 
		int q
	public java.lang.String toString () 
}

org/sat4j/minisat/orders/package-info.class
package-info.java
package org.sat4j.minisat.orders
abstract org.sat4j.minisat.orders.package-info extends java.lang.Object {
}

org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class
PositiveLiteralSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public void init (int) 
		int nlength
	public void init (int, int) 
		int var
		int p
	public int select (int) 
		int var
	public void updateVar (int) 
		int p
	public java.lang.String toString () 
	public void updateVarAtDecisionLevel (int) 
		int q
}

org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class
RSATPhaseSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RSATPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public java.lang.String toString () 
	public void updateVar (int) 
		int p
	public void updateVarAtDecisionLevel (int) 
		int p
}

org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class
PhaseInLastLearnedClauseSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void updateVar (int) 
		int p
	public java.lang.String toString () 
	public void assignLiteral (int) 
		int p
	public void updateVarAtDecisionLevel (int) 
		int q
}

org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class
NegativeLiteralSelectionStrategy.java
package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
		int p
	public void init (int) 
		int nlength
	public void init (int, int) 
		int var
		int p
	public int select (int) 
		int var
	public void updateVar (int) 
		int p
	public java.lang.String toString () 
	public void updateVarAtDecisionLevel (int) 
		int q
}

org/sat4j/minisat/orders/TabuListDecorator.class
TabuListDecorator.java
package org.sat4j.minisat.orders
public org.sat4j.minisat.orders.TabuListDecorator extends java.lang.Object implements org.sat4j.minisat.core.IOrder  {
	private final org.sat4j.minisat.orders.VarOrderHeap decorated
	private final int tabuSize
	private org.sat4j.minisat.core.ILits voc
	private int lastVar
	private final java.util.LinkedList tabuList
	public void  (org.sat4j.minisat.orders.VarOrderHeap) 
		org.sat4j.minisat.orders.VarOrderHeap order
	public void  (org.sat4j.minisat.orders.VarOrderHeap, int) 
		org.sat4j.minisat.orders.VarOrderHeap order
		int tabuSize
	public void assignLiteral (int) 
		int q
	public org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public void init () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public int select () 
		int lit
		int var
	public void setLits (org.sat4j.minisat.core.ILits) 
		org.sat4j.minisat.core.ILits lits
	public void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
		org.sat4j.minisat.core.IPhaseSelectionStrategy strategy
	public void setVarDecay (double) 
		double d
	public void undo (int) 
		int x
		int var
	public void updateVar (int) 
		int q
	public double varActivity (int) 
		int q
	public void varDecayActivity () 
	public void updateVarAtDecisionLevel (int) 
		int q
	public java.lang.String toString () 
	public double[] getVariableHeuristics () 
}

org/sat4j/minisat/package-info.class
package-info.java
package org.sat4j.minisat
abstract org.sat4j.minisat.package-info extends java.lang.Object {
}

org/sat4j/minisat/core/Learner.class
Learner.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Learner extends java.lang.Object {
	public abstract void learn (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/RestartStrategy.class
RestartStrategy.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.RestartStrategy extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ConflictTimer  {
	public abstract void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
	public abstract long nextRestartNumberOfConflict () 
	public abstract boolean shouldRestart () 
	public abstract void onRestart () 
	public abstract void onBackjumpToRootLevel () 
	public abstract void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
}

org/sat4j/minisat/core/Counter.class
Counter.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.Counter extends java.lang.Object {
	private int value
	public void  () 
	public void  (int) 
		int initialValue
	public void inc () 
	public void dec () 
	public java.lang.String toString () 
	public int getValue () 
}

org/sat4j/minisat/core/ActivityListener.class
ActivityListener.java
package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ActivityListener extends java.lang.Object implements org.sat4j.minisat.core.VarActivityListener org.sat4j.minisat.core.ConstrActivityListener  {
}

org/sat4j/minisat/core/Solver$5.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$5 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	final long memorybound
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, int) 
		int $anonymous0
	public void run () 
		long freemem
}

org/sat4j/minisat/core/ConflictTimerAdapter.class
ConflictTimerAdapter.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ConflictTimerAdapter extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ConflictTimer  {
	private static final long serialVersionUID
	private int counter
	private final int bound
	public void  (int) 
		int bound
	public void reset () 
	public void newConflict () 
	public abstract void run () 
	public int bound () 
}

org/sat4j/minisat/core/LearningStrategy.class
LearningStrategy.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.LearningStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void init () 
	public abstract void learns (org.sat4j.minisat.core.Constr) 
	public abstract void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
	public abstract void setSolver (org.sat4j.minisat.core.Solver) 
}

org/sat4j/minisat/core/CircularBuffer.class
CircularBuffer.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.CircularBuffer extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private final int[] values
	private int index
	private long sum
	private boolean full
	public void  (int) 
		int capacity
	public void push (int) 
		int value
	public long average () 
	public void clear () 
	public boolean isFull () 
}

org/sat4j/minisat/core/ILits.class
ILits.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ILits extends java.lang.Object {
	public static final int UNDEFINED
	public abstract void init (int) 
	public abstract int getFromPool (int) 
	public abstract boolean belongsToPool (int) 
	public abstract void resetPool () 
	public abstract void ensurePool (int) 
	public abstract void unassign (int) 
	public abstract void satisfies (int) 
	public abstract void forgets (int) 
	public abstract boolean isSatisfied (int) 
	public abstract boolean isFalsified (int) 
	public abstract boolean isUnassigned (int) 
	public abstract boolean isImplied (int) 
	public abstract int nVars () 
	public abstract int realnVars () 
	public abstract int nextFreeVarId (boolean) 
	public abstract void reset (int) 
	public abstract int getLevel (int) 
	public abstract void setLevel (int, int) 
	public abstract org.sat4j.minisat.core.Constr getReason (int) 
	public abstract void setReason (int, org.sat4j.minisat.core.Constr) 
	public abstract org.sat4j.specs.IVec undos (int) 
	public abstract void watch (int, org.sat4j.minisat.core.Propagatable) 
	public abstract org.sat4j.specs.IVec watches (int) 
	public abstract java.lang.String valueToString (int) 
}

org/sat4j/minisat/core/VoidTracing.class
VoidTracing.java
package org.sat4j.minisat.core
final org.sat4j.minisat.core.VoidTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	void  () 
	public void assuming (int) 
		int p
	public void propagating (int, org.sat4j.specs.IConstr) 
		int p
		org.sat4j.specs.IConstr reason
	public void backtracking (int) 
		int p
	public void adding (int) 
		int p
	public void learn (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr clause
	public void learnUnit (int) 
		int p
	public void delete (int[]) 
		int[] clause
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
		org.sat4j.specs.IConstr confl
		int dlevel
		int trailLevel
	public void conflictFound (int) 
		int p
	public void solutionFound (int[], org.sat4j.specs.RandomAccessModel) 
		int[] model
		org.sat4j.specs.RandomAccessModel lazyModel
	public void beginLoop () 
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
		org.sat4j.specs.Lbool result
	public void restarting () 
	public void backjump (int) 
		int backjumpLevel
	public void init (org.sat4j.specs.ISolverService) 
		org.sat4j.specs.ISolverService solverService
	public void cleaning () 
}

org/sat4j/minisat/core/ConflictTimer.class
ConflictTimer.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ConflictTimer extends java.lang.Object {
	public abstract void reset () 
	public abstract void newConflict () 
}

org/sat4j/minisat/core/Constr.class
Constr.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Constr extends java.lang.Object implements org.sat4j.specs.IConstr  {
	public abstract void remove (org.sat4j.specs.UnitPropagationListener) 
	public abstract boolean simplify () 
	public abstract void calcReason (int, org.sat4j.specs.IVecInt) 
	public abstract void calcReasonOnTheFly (int, org.sat4j.specs.IVecInt, org.sat4j.specs.IVecInt) 
	public abstract void incActivity (double) 
	public abstract void forwardActivity (double) 
	public abstract boolean locked () 
	public abstract void setLearnt () 
	public abstract void register () 
	public abstract void rescaleBy (double) 
	public abstract void setActivity (double) 
	public abstract void assertConstraint (org.sat4j.specs.UnitPropagationListener) 
	public abstract void assertConstraintIfNeeded (org.sat4j.specs.UnitPropagationListener) 
}

org/sat4j/minisat/core/Solver$9.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$9 extends java.lang.Object implements org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.ConflictTimer freeMem
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, org.sat4j.minisat.core.ConflictTimer) 
	public void reduce (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec learnedConstrs
		int i
		int j
		org.sat4j.minisat.core.Constr c
	public org.sat4j.minisat.core.ConflictTimer getTimer () 
	public java.lang.String toString () 
	public void init () 
	public void onClauseLearning (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
	public void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
	public void onPropagation (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr from
}

org/sat4j/minisat/core/ActivityComparator.class
ActivityComparator.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.ActivityComparator extends java.lang.Object implements java.util.Comparator java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public int compare (org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr c1
		org.sat4j.minisat.core.Constr c2
		long delta
	public volatile int compare (java.lang.Object, java.lang.Object) 
}

org/sat4j/minisat/core/SolverStats.class
SolverStats.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.SolverStats extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public int starts
	public long decisions
	public long propagations
	public long inspects
	public long conflicts
	public long learnedliterals
	public long learnedbinaryclauses
	public long learnedternaryclauses
	public long learnedclauses
	public long ignoredclauses
	public long rootSimplifications
	public long reducedliterals
	public long changedreason
	public int reduceddb
	public int shortcuts
	public long updateLBD
	public int importedUnits
	public void  () 
	public void reset () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
	public java.util.Map toMap () 
		java.util.Map map
		java.lang.reflect.Field f
}

org/sat4j/minisat/core/Pair.class
Pair.java
package org.sat4j.minisat.core
public final org.sat4j.minisat.core.Pair extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public int backtrackLevel
	public org.sat4j.minisat.core.Constr reason
	public void  () 
}

org/sat4j/minisat/core/Undoable.class
Undoable.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Undoable extends java.lang.Object {
	public abstract void undo (int) 
}

org/sat4j/minisat/core/Propagatable.class
Propagatable.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Propagatable extends java.lang.Object {
	public abstract boolean propagate (org.sat4j.specs.UnitPropagationListener, int) 
	public abstract org.sat4j.minisat.core.Constr toConstraint () 
}

org/sat4j/minisat/core/IPhaseSelectionStrategy.class
IPhaseSelectionStrategy.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.IPhaseSelectionStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void updateVar (int) 
	public abstract void init (int) 
	public abstract void init (int, int) 
	public abstract void assignLiteral (int) 
	public abstract int select (int) 
	public abstract void updateVarAtDecisionLevel (int) 
}

org/sat4j/minisat/core/Solver$1.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$1 extends java.lang.Object implements org.sat4j.minisat.core.ISimplifier  {
	private static final long serialVersionUID
	void  () 
	public void simplify (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt outLearnt
	public java.lang.String toString () 
}

org/sat4j/minisat/core/VarActivityListener.class
VarActivityListener.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.VarActivityListener extends java.lang.Object implements java.io.Serializable  {
	public abstract void varBumpActivity (int) 
}

org/sat4j/minisat/core/Solver$Glucose2LCDS.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$Glucose2LCDS extends org.sat4j.minisat.core.Solver$GlucoseLCDS {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, org.sat4j.minisat.core.ConflictTimer) 
		org.sat4j.minisat.core.ConflictTimer timer
	public java.lang.String toString () 
	public void onPropagation (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr from
		int nblevel
}

org/sat4j/minisat/core/Solver$7.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$7 extends java.lang.Object implements java.util.Comparator  {
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public int compare (java.lang.Integer, java.lang.Integer) 
		Integer i1
		Integer i2
	public volatile int compare (java.lang.Object, java.lang.Object) 
}

org/sat4j/minisat/core/ICDCL.class
ICDCL.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ICDCL extends java.lang.Object implements org.sat4j.specs.ISolver org.sat4j.specs.UnitPropagationListener org.sat4j.minisat.core.ActivityListener org.sat4j.minisat.core.Learner  {
	public abstract void setDataStructureFactory (org.sat4j.minisat.core.DataStructureFactory) 
	public abstract void setLearner (org.sat4j.minisat.core.LearningStrategy) 
	public abstract void setLearningStrategy (org.sat4j.minisat.core.LearningStrategy) 
	public abstract void setSearchParams (org.sat4j.minisat.core.SearchParams) 
	public abstract org.sat4j.minisat.core.SearchParams getSearchParams () 
	public abstract org.sat4j.minisat.core.SolverStats getStats () 
	public abstract void setRestartStrategy (org.sat4j.minisat.core.RestartStrategy) 
	public abstract org.sat4j.minisat.core.RestartStrategy getRestartStrategy () 
	public abstract void setSimplifier (org.sat4j.minisat.core.SimplificationType) 
	public abstract void setSimplifier (org.sat4j.minisat.core.ISimplifier) 
	public abstract org.sat4j.minisat.core.ISimplifier getSimplifier () 
	public abstract void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy) 
	public abstract void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.ConflictTimer, org.sat4j.minisat.core.LearnedConstraintsEvaluationType) 
	public abstract void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.LearnedConstraintsEvaluationType) 
	public abstract org.sat4j.minisat.core.IOrder getOrder () 
	public abstract void setOrder (org.sat4j.minisat.core.IOrder) 
	public abstract void setNeedToReduceDB (boolean) 
	public abstract void setLogger (org.sat4j.specs.ILogAble) 
	public abstract org.sat4j.specs.ILogAble getLogger () 
}

org/sat4j/minisat/core/SearchParams.class
SearchParams.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.SearchParams extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private double claDecay
	private double varDecay
	private double conflictBoundIncFactor
	private int initConflictBound
	public void  () 
	public void  (int) 
		int conflictBound
	public void  (double, int) 
		double confincfactor
		int conflictBound
	public void  (double, double, double, int) 
		double d
		double e
		double f
		int i
	public double getClaDecay () 
	public double getVarDecay () 
	public java.lang.String toString () 
		StringBuffer stb
		java.lang.reflect.Field field
		IllegalArgumentException e
		IllegalAccessException e
	public void setConflictBoundIncFactor (double) 
		double conflictBoundIncFactor
	public void setInitConflictBound (int) 
		int initConflictBound
	public double getConflictBoundIncFactor () 
	public int getInitConflictBound () 
	public void setClaDecay (double) 
		double claDecay
	public void setVarDecay (double) 
		double varDecay
}

org/sat4j/minisat/core/IOrder.class
IOrder.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.IOrder extends java.lang.Object {
	public abstract void setLits (org.sat4j.minisat.core.ILits) 
	public abstract int select () 
	public abstract void undo (int) 
	public abstract void updateVar (int) 
	public abstract void init () 
	public abstract void printStat (java.io.PrintWriter, java.lang.String) 
	public abstract void setVarDecay (double) 
	public abstract void varDecayActivity () 
	public abstract double varActivity (int) 
	public abstract void assignLiteral (int) 
	public abstract void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
	public abstract org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public abstract void updateVarAtDecisionLevel (int) 
	public abstract double[] getVariableHeuristics () 
}

org/sat4j/minisat/core/Solver$8.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$8 extends java.lang.Object implements org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.ConflictTimer aTimer
	final org.sat4j.minisat.core.Solver this$0
	private final int val$maxsize
	void  (org.sat4j.minisat.core.Solver, int) 
	public void reduce (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec learnedConstrs
		int i
		int j
		int k
		org.sat4j.minisat.core.Constr c
	public void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
	public void onClauseLearning (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr outLearnt
	public java.lang.String toString () 
	public void init () 
	public org.sat4j.minisat.core.ConflictTimer getTimer () 
	public void onPropagation (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr from
	static org.sat4j.minisat.core.Solver access$0 (org.sat4j.minisat.core.Solver$8) 
}

org/sat4j/minisat/core/package-info.class
package-info.java
package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.package-info extends java.lang.Object {
}

org/sat4j/minisat/core/ISimplifier.class
ISimplifier.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ISimplifier extends java.lang.Object implements java.io.Serializable  {
	public abstract void simplify (org.sat4j.specs.IVecInt) 
}

org/sat4j/minisat/core/Solver$2.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$2 extends java.lang.Object implements org.sat4j.minisat.core.ISimplifier  {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void simplify (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
	public java.lang.String toString () 
}

org/sat4j/minisat/core/ConflictTimerContainer.class
ConflictTimerContainer.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.ConflictTimerContainer extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ConflictTimer  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVec timers
	public void  () 
	org.sat4j.minisat.core.ConflictTimerContainer add (org.sat4j.minisat.core.ConflictTimer) 
		org.sat4j.minisat.core.ConflictTimer timer
	org.sat4j.minisat.core.ConflictTimerContainer remove (org.sat4j.minisat.core.ConflictTimer) 
		org.sat4j.minisat.core.ConflictTimer timer
	public void reset () 
		java.util.Iterator it
	public void newConflict () 
		java.util.Iterator it
}

org/sat4j/minisat/core/Heap.class
Heap.java
package org.sat4j.minisat.core
public final org.sat4j.minisat.core.Heap extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVecInt heap
	private final org.sat4j.specs.IVecInt indices
	private final double[] activity
	static final boolean $assertionsDisabled
	static void  () 
	private static int left (int) 
		int i
	private static int right (int) 
		int i
	private static int parent (int) 
		int i
	private boolean comp (int, int) 
		int a
		int b
	void percolateUp (int) 
		int i
		int x
	void percolateDown (int) 
		int i
		int x
		int child
	boolean ok (int) 
		int n
	public void  (double[]) 
		double[] activity
	public void setBounds (int) 
		int size
	public boolean inHeap (int) 
		int n
	public void increase (int) 
		int n
	public boolean empty () 
	public int size () 
	public int get (int) 
		int i
		int r
	public void insert (int) 
		int n
	public int getmin () 
	public boolean heapProperty () 
	public boolean heapProperty (int) 
		int i
}

org/sat4j/minisat/core/ConstrActivityListener.class
ConstrActivityListener.java
package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ConstrActivityListener extends java.lang.Object {
	public abstract void claBumpActivity (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/Solver$11.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$11 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, int) 
		int $anonymous0
	public void run () 
}

org/sat4j/minisat/core/Solver$10.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$10 extends java.util.TimerTask {
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void run () 
}

org/sat4j/minisat/core/Solver$8$1.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$8$1 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver$8 this$1
	void  (org.sat4j.minisat.core.Solver$8, int) 
		int $anonymous0
	public void run () 
}

org/sat4j/minisat/core/Solver.class
Solver.java
package org.sat4j.minisat.core
public org.sat4j.minisat.core.Solver extends java.lang.Object implements org.sat4j.specs.ISolverService org.sat4j.minisat.core.ICDCL  {
	private static final long serialVersionUID
	private static final double CLAUSE_RESCALE_FACTOR
	private static final double CLAUSE_RESCALE_BOUND
	protected org.sat4j.specs.ILogAble out
	protected final org.sat4j.specs.IVec constrs
	protected final org.sat4j.specs.IVec learnts
	private double claInc
	private double claDecay
	private int qhead
	protected final org.sat4j.specs.IVecInt trail
	protected final org.sat4j.specs.IVecInt trailLim
	protected int rootLevel
	private int[] model
	protected org.sat4j.minisat.core.ILits voc
	private org.sat4j.minisat.core.IOrder order
	private final org.sat4j.minisat.core.ActivityComparator comparator
	private org.sat4j.minisat.core.SolverStats stats
	private org.sat4j.minisat.core.LearningStrategy learner
	protected volatile boolean undertimeout
	private long timeout
	private boolean timeBasedTimeout
	protected org.sat4j.minisat.core.DataStructureFactory dsfactory
	private org.sat4j.minisat.core.SearchParams params
	private final org.sat4j.specs.IVecInt __dimacs_out
	protected org.sat4j.specs.SearchListener slistener
	private org.sat4j.minisat.core.RestartStrategy restarter
	private final java.util.Map constrTypes
	private boolean isDBSimplificationAllowed
	private final org.sat4j.specs.IVecInt learnedLiterals
	private boolean verbose
	private boolean keepHot
	private String prefix
	private int declaredMaxVarId
	private org.sat4j.specs.UnitClauseProvider unitClauseProvider
	private boolean[] mseen
	private final org.sat4j.specs.IVecInt mpreason
	private final org.sat4j.specs.IVecInt moutLearnt
	public static final org.sat4j.minisat.core.ISimplifier NO_SIMPLIFICATION
	public final org.sat4j.minisat.core.ISimplifier SIMPLE_SIMPLIFICATION
	public final org.sat4j.minisat.core.ISimplifier EXPENSIVE_SIMPLIFICATION
	public final org.sat4j.minisat.core.ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY
	private org.sat4j.minisat.core.ISimplifier simplifier
	private final org.sat4j.specs.IVecInt analyzetoclear
	private final org.sat4j.specs.IVecInt analyzestack
	private final org.sat4j.specs.IVec watched
	private final org.sat4j.minisat.core.Pair analysisResult
	private boolean[] userbooleanmodel
	private org.sat4j.specs.IVecInt unsatExplanationInTermsOfAssumptions
	private final org.sat4j.specs.IVecInt implied
	private final org.sat4j.specs.IVecInt decisions
	private int[] fullmodel
	private int[] prime
	private double timebegin
	private boolean needToReduceDB
	private org.sat4j.minisat.core.ConflictTimerContainer conflictCount
	private transient java.util.Timer timer
	private final org.sat4j.minisat.core.ConflictTimer memoryTimer
	public final org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy memory_based
	private final org.sat4j.minisat.core.ConflictTimer lbdTimer
	public final org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy glucose
	protected org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
	private boolean lastConflictMeansUnsat
	protected org.sat4j.minisat.core.Constr sharedConflict
	private final java.util.Comparator dimacsLevel
	static final boolean $assertionsDisabled
	private static int[] $SWITCH_TABLE$org$sat4j$minisat$core$LearnedConstraintsEvaluationType
	static void  () 
	protected org.sat4j.specs.IVecInt dimacs2internal (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt in
		int p
		int i
	public void registerLiteral (int) 
		int p
	public void  (org.sat4j.minisat.core.LearningStrategy, org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.IOrder, org.sat4j.minisat.core.RestartStrategy) 
		org.sat4j.minisat.core.LearningStrategy learner
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.core.IOrder order
		org.sat4j.minisat.core.RestartStrategy restarter
	public void  (org.sat4j.minisat.core.LearningStrategy, org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.IOrder, org.sat4j.minisat.core.RestartStrategy) 
		org.sat4j.minisat.core.LearningStrategy learner
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.IOrder order
		org.sat4j.minisat.core.RestartStrategy restarter
	public void  (org.sat4j.minisat.core.LearningStrategy, org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.IOrder, org.sat4j.minisat.core.RestartStrategy, org.sat4j.specs.ILogAble) 
		org.sat4j.minisat.core.LearningStrategy learner
		org.sat4j.minisat.core.DataStructureFactory dsf
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.IOrder order
		org.sat4j.minisat.core.RestartStrategy restarter
		org.sat4j.specs.ILogAble logger
	public final void setDataStructureFactory (org.sat4j.minisat.core.DataStructureFactory) 
		org.sat4j.minisat.core.DataStructureFactory dsf
	public boolean isVerbose () 
	public void setVerbose (boolean) 
		boolean value
	public void setSearchListener (org.sat4j.specs.SearchListener) 
		org.sat4j.specs.SearchListener sl
	public org.sat4j.specs.SearchListener getSearchListener () 
	public void setLearner (org.sat4j.minisat.core.LearningStrategy) 
		org.sat4j.minisat.core.LearningStrategy strategy
	public void setLearningStrategy (org.sat4j.minisat.core.LearningStrategy) 
		org.sat4j.minisat.core.LearningStrategy strategy
	public void setTimeout (int) 
		int t
	public void setTimeoutMs (long) 
		long t
	public void setTimeoutOnConflicts (int) 
		int count
	public void setSearchParams (org.sat4j.minisat.core.SearchParams) 
		org.sat4j.minisat.core.SearchParams sp
	public org.sat4j.minisat.core.SearchParams getSearchParams () 
	public void setRestartStrategy (org.sat4j.minisat.core.RestartStrategy) 
		org.sat4j.minisat.core.RestartStrategy restarter
	public org.sat4j.minisat.core.RestartStrategy getRestartStrategy () 
	public void expireTimeout () 
	protected int nAssigns () 
	public int nConstraints () 
	public void learn (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr c
	public final int decisionLevel () 
	public int newVar () 
		int index
	public int newVar (int) 
		int howmany
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		org.sat4j.specs.IVecInt vlits
	public boolean removeConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr co
		org.sat4j.minisat.core.Constr c
		String type
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
		org.sat4j.specs.IConstr co
		org.sat4j.minisat.core.Constr c
		String type
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVec clauses
		java.util.Iterator iterator
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		int n
		org.sat4j.specs.IVecInt opliterals
		org.sat4j.specs.IteratorInt iterator
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int degree
		org.sat4j.specs.IVecInt vlits
	public org.sat4j.specs.IConstr addExactly (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
		int n
		org.sat4j.core.ConstrGroup group
	public boolean simplifyDB () 
		org.sat4j.specs.IVec[] cs
		int type
		int j
		int i
	public int[] model () 
		int[] nmodel
	public boolean enqueue (int) 
		int p
	public boolean enqueue (int, org.sat4j.minisat.core.Constr) 
		int p
		org.sat4j.minisat.core.Constr from
	public void analyze (org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Pair)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.minisat.core.Constr confl
		org.sat4j.minisat.core.Pair results
		boolean[] seen
		org.sat4j.specs.IVecInt outLearnt
		org.sat4j.specs.IVecInt preason
		int i
		int counter
		int p
		int outBtlevel
		org.sat4j.specs.IConstr prevConfl
		int j
		int q
		org.sat4j.minisat.core.Constr c
	public org.sat4j.specs.IVecInt analyzeFinalConflictInTermsOfAssumptions (org.sat4j.minisat.core.Constr, org.sat4j.specs.IVecInt, int) 
		org.sat4j.minisat.core.Constr confl
		org.sat4j.specs.IVecInt assumps
		int conflictingLiteral
		boolean[] seen
		org.sat4j.specs.IVecInt outLearnt
		org.sat4j.specs.IVecInt preason
		int i
		int p
		int j
		int q
	public void setSimplifier (org.sat4j.minisat.core.SimplificationType) 
		org.sat4j.minisat.core.SimplificationType simp
		java.lang.reflect.Field f
		Exception e
	public void setSimplifier (org.sat4j.minisat.core.ISimplifier) 
		org.sat4j.minisat.core.ISimplifier simp
	public org.sat4j.minisat.core.ISimplifier getSimplifier () 
	private void simpleSimplification (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
		int i
		int j
		int p
		boolean[] seen
		org.sat4j.specs.IConstr r
		int k
	private void expensiveSimplification (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
		int i
		int j
	private boolean analyzeRemovable (int) 
		int p
		org.sat4j.minisat.core.ILits lvoc
		org.sat4j.specs.IVecInt lanalyzestack
		org.sat4j.specs.IVecInt lanalyzetoclear
		boolean[] seen
		int top
		int q
		org.sat4j.minisat.core.Constr c
		int j
		int i
		int l
		int j
	private void expensiveSimplificationWLOnly (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
		int i
		int j
	private boolean analyzeRemovableWLOnly (int) 
		int p
		boolean[] seen
		int top
		int q
		org.sat4j.minisat.core.Constr c
		int i
		int l
		int j
	protected void undoOne () 
		int p
		int x
		org.sat4j.specs.IVec undos
		int size
	public void claBumpActivity (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr confl
	public void varBumpActivity (int) 
		int p
	private void claRescalActivity () 
		int i
	public final org.sat4j.minisat.core.Constr propagate () 
		org.sat4j.specs.IVecInt ltrail
		org.sat4j.minisat.core.SolverStats lstats
		org.sat4j.minisat.core.IOrder lorder
		org.sat4j.specs.SearchListener lslistener
		int p
		org.sat4j.minisat.core.Constr confl
	private org.sat4j.minisat.core.Constr reduceClausesForFalsifiedLiteral (int) 
		int p
		org.sat4j.specs.IVec lwatched
		int size
		int i
		int sizew
		int j
	void record (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
		int p
	public boolean assume (int) 
		int p
	private void cancel () 
		int decisionvar
		int c
	private void cancelLearntLiterals (int) 
		int learnedLiteralsLimit
	protected void cancelUntil (int) 
		int level
	org.sat4j.specs.Lbool search (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt assumps
		int backjumpLevel
		org.sat4j.minisat.core.Constr confl
		boolean ret
		int p
		boolean ret
		int conflictTrailLevel
	private org.sat4j.minisat.core.Constr preventTheSameDecisionsToBeMade () 
		org.sat4j.specs.IVecInt clause
		int p
		int i
	protected void analyzeAtRootLevel (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr conflict
	void modelFound () 
		org.sat4j.specs.IVecInt tempmodel
		int i
		int p
		int i
		int p
	private org.sat4j.minisat.core.Constr forget (int) 
		int var
		boolean satisfied
		org.sat4j.minisat.core.Constr confl
		org.sat4j.minisat.core.Constr confl
	private boolean setAndPropagate (int) 
		int p
	public int[] primeImplicant () 
		int p
		int d
		int d
		int i
		boolean noproblem
		boolean noproblem
		boolean noproblem
		org.sat4j.specs.IteratorInt it
		boolean canBeRemoved
		int rightlevel
		int removed
		int propagated
		int tested
		int l2propagation
		int i
		int j
		org.sat4j.specs.IConstr confl
		int[] implicant
		int index
		int i
	public boolean primeImplicant (int) 
		int p
	public boolean model (int) 
		int var
	public void clearLearntClauses () 
		java.util.Iterator iterator
	protected final void reduceDB () 
	protected void sortOnActivity () 
	protected void decayActivities () 
	private void claDecayActivity () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
		boolean global
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public final org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy fixedSize (int) 
		int maxsize
	private org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy activityBased (org.sat4j.minisat.core.ConflictTimer) 
		org.sat4j.minisat.core.ConflictTimer timer
	public void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy) 
		org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy lcds
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
		boolean global
		org.sat4j.specs.Lbool status
		boolean alreadylaunched
		int howmany
		int learnedLiteralsLimit
		int i
		int p
		org.sat4j.specs.IVec undos
		int size
		org.sat4j.specs.IteratorInt iterator
		org.sat4j.minisat.core.Constr confl
		org.sat4j.specs.IteratorInt iterator
		int assump
		int p
		boolean firstTimeGlobal
		java.util.TimerTask stopMe
		org.sat4j.minisat.core.ConflictTimer conflictTimeout
		int before
		String message
	public void printInfos (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void printInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
		long total
		java.util.Map$Entry entry
	public void printLearntClausesInfos (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
		java.util.Map learntTypes
		java.util.Iterator it
		String type
		org.sat4j.minisat.core.Counter count
		java.util.Map$Entry entry
	public org.sat4j.minisat.core.SolverStats getStats () 
	protected void initStats (org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SolverStats myStats
	public org.sat4j.minisat.core.IOrder getOrder () 
	public void setOrder (org.sat4j.minisat.core.IOrder) 
		org.sat4j.minisat.core.IOrder h
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void reset () 
		java.util.Iterator iterator
	public int nVars () 
	protected org.sat4j.specs.IConstr addConstr (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
		org.sat4j.minisat.core.Counter count
		String type
		org.sat4j.minisat.core.Counter count
	public org.sat4j.minisat.core.DataStructureFactory getDSFactory () 
	public org.sat4j.specs.IVecInt getOutLearnt () 
	public org.sat4j.specs.IConstr getIthConstr (int) 
		int i
	public void printStat (java.io.PrintStream, java.lang.String) 
		java.io.PrintStream out
		String prefix
	public void printStat (java.io.PrintWriter) 
		java.io.PrintWriter out
	public void printStat (java.io.PrintWriter, java.lang.String) 
		java.io.PrintWriter out
		String prefix
		double cputime
	public java.lang.String toString (java.lang.String) 
		String prefix
		StringBuffer stb
		Object[] objs
		Object o
	public java.lang.String toString () 
	public int getTimeout () 
	public long getTimeoutMs () 
	public void setExpectedNumberOfClauses (int) 
		int nb
	public java.util.Map getStat () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
		org.sat4j.specs.IVecInt assumps
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
		boolean status
	public int nextFreeVarId (boolean) 
		boolean reserve
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
		org.sat4j.specs.IVecInt literals
	public void unset (int) 
		int p
		int current
	public void setLogPrefix (java.lang.String) 
		String prefix
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
		org.sat4j.specs.IVecInt copy
	public int[] modelWithInternalVariables () 
		int[] nmodel
		int[] nmodel
	public int realNumberOfVariables () 
	public void stop () 
	public void backtrack (int[]) 
		int[] reason
		org.sat4j.specs.IVecInt clause
		int d
	public org.sat4j.specs.Lbool truthValue (int) 
		int literal
		int p
	public int currentDecisionLevel () 
	public int[] getLiteralsPropagatedAt (int) 
		int decisionLevel
	public void suggestNextLiteralToBranchOn (int) 
		int l
	protected boolean isNeedToReduceDB () 
	public void setNeedToReduceDB (boolean) 
		boolean needToReduceDB
	public void setLogger (org.sat4j.specs.ILogAble) 
		org.sat4j.specs.ILogAble out
	public org.sat4j.specs.ILogAble getLogger () 
	public double[] getVariableHeuristics () 
	public org.sat4j.specs.IVec getLearnedConstraints () 
	public void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.ConflictTimer, org.sat4j.minisat.core.LearnedConstraintsEvaluationType) 
		org.sat4j.minisat.core.ConflictTimer timer
		org.sat4j.minisat.core.LearnedConstraintsEvaluationType evaluation
	public void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.LearnedConstraintsEvaluationType) 
		org.sat4j.minisat.core.LearnedConstraintsEvaluationType evaluation
		org.sat4j.minisat.core.ConflictTimer aTimer
	public boolean isSolverKeptHot () 
	public void setKeepSolverHot (boolean) 
		boolean keepHot
	public org.sat4j.specs.IConstr addClauseOnTheFly (int[]) 
		int[] literals
		java.util.List lliterals
		Integer d
		org.sat4j.specs.IVecInt clause
		int d
		org.sat4j.specs.IVecInt reason
		java.util.Set subset
	public org.sat4j.specs.ISolver getSolvingEngine () 
	public org.sat4j.specs.IConstr addAtMostOnTheFly (int[], int) 
		int[] literals
		int degree
		org.sat4j.specs.IVecInt clause
		int d
		org.sat4j.specs.IVecInt copy
		org.sat4j.specs.IVecInt reason
		java.util.Set subset
	protected java.util.Set fromLastDecisionLevel (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt lits
		java.util.Set subset
		int max
		int q
		int level
		int i
	public void setUnitClauseProvider (org.sat4j.specs.UnitClauseProvider) 
		org.sat4j.specs.UnitClauseProvider ucp
	static void access$0 (org.sat4j.minisat.core.Solver, org.sat4j.specs.IVecInt) 
	static void access$1 (org.sat4j.minisat.core.Solver, org.sat4j.specs.IVecInt) 
	static void access$2 (org.sat4j.minisat.core.Solver, org.sat4j.specs.IVecInt) 
	static void access$3 (org.sat4j.minisat.core.Solver, boolean) 
	static boolean access$4 (org.sat4j.minisat.core.Solver) 
	static org.sat4j.minisat.core.SolverStats access$5 (org.sat4j.minisat.core.Solver) 
	static int[] $SWITCH_TABLE$org$sat4j$minisat$core$LearnedConstraintsEvaluationType () 
}

org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class
LearnedConstraintsDeletionStrategy.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void init () 
	public abstract org.sat4j.minisat.core.ConflictTimer getTimer () 
	public abstract void reduce (org.sat4j.specs.IVec) 
	public abstract void onClauseLearning (org.sat4j.minisat.core.Constr) 
	public abstract void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
	public abstract void onPropagation (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/DataStructureFactory.class
DataStructureFactory.java
package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.DataStructureFactory extends java.lang.Object {
	public abstract org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	public abstract void learnConstraint (org.sat4j.minisat.core.Constr) 
	public abstract org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.minisat.core.Constr createUnregisteredCardinalityConstraint (org.sat4j.specs.IVecInt, int) 
	public abstract void setUnitPropagationListener (org.sat4j.specs.UnitPropagationListener) 
	public abstract void setLearner (org.sat4j.minisat.core.Learner) 
	public abstract void reset () 
	public abstract org.sat4j.minisat.core.ILits getVocabulary () 
	public abstract org.sat4j.specs.IVec getWatchesFor (int) 
	public abstract void conflictDetectedInWatchesFor (int, int) 
}

org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class
LearnedConstraintsEvaluationType.java
package org.sat4j.minisat.core
public final org.sat4j.minisat.core.LearnedConstraintsEvaluationType extends java.lang.Enum {
	public static final org.sat4j.minisat.core.LearnedConstraintsEvaluationType ACTIVITY
	public static final org.sat4j.minisat.core.LearnedConstraintsEvaluationType LBD
	public static final org.sat4j.minisat.core.LearnedConstraintsEvaluationType LBD2
	private static final org.sat4j.minisat.core.LearnedConstraintsEvaluationType[] ENUM$VALUES
	static void  () 
	private void  (java.lang.String, int) 
	public static org.sat4j.minisat.core.LearnedConstraintsEvaluationType[] values () 
	public static org.sat4j.minisat.core.LearnedConstraintsEvaluationType valueOf (java.lang.String) 
}

org/sat4j/minisat/core/Solver$4.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$4 extends java.lang.Object implements org.sat4j.minisat.core.ISimplifier  {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void simplify (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
	public java.lang.String toString () 
}

org/sat4j/minisat/core/Solver$3.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$3 extends java.lang.Object implements org.sat4j.minisat.core.ISimplifier  {
	private static final long serialVersionUID
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void simplify (org.sat4j.specs.IVecInt) 
		org.sat4j.specs.IVecInt conflictToReduce
	public java.lang.String toString () 
}

org/sat4j/minisat/core/Solver$GlucoseLCDS.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$GlucoseLCDS extends java.lang.Object implements org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy  {
	private static final long serialVersionUID
	private int[] flags
	private int flag
	private final org.sat4j.minisat.core.ConflictTimer clauseManagement
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, org.sat4j.minisat.core.ConflictTimer) 
		org.sat4j.minisat.core.ConflictTimer timer
	public void reduce (org.sat4j.specs.IVec) 
		org.sat4j.specs.IVec learnedConstrs
		int i
		int j
		org.sat4j.minisat.core.Constr c
	public org.sat4j.minisat.core.ConflictTimer getTimer () 
	public java.lang.String toString () 
	public void init () 
		int howmany
	public void onClauseLearning (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
		int nblevel
	protected int computeLBD (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr constr
		int nblevel
		int currentLevel
		int i
	public void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr reason
	public void onPropagation (org.sat4j.minisat.core.Constr) 
		org.sat4j.minisat.core.Constr from
}

org/sat4j/minisat/core/Solver$6.class
Solver.java
package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$6 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	private int nbconflict
	private static final int MAX_CLAUSE
	private static final int INC_CLAUSE
	private int nextbound
	final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, int) 
		int $anonymous0
	public void run () 
	public void reset () 
}

org/sat4j/minisat/core/IntQueue.class
IntQueue.java
package org.sat4j.minisat.core
public final org.sat4j.minisat.core.IntQueue extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int INITIAL_QUEUE_CAPACITY
	private int[] myarray
	private int size
	private int first
	static final boolean $assertionsDisabled
	static void  () 
	public void  () 
	public void insert (int) 
		int x
	public int dequeue () 
	public void clear () 
	public int size () 
	public void ensure (int) 
		int nsize
		int[] narray
	public java.lang.String toString () 
		StringBuffer stb
		int i
}

org/sat4j/minisat/core/SimplificationType.class
SimplificationType.java
package org.sat4j.minisat.core
public final org.sat4j.minisat.core.SimplificationType extends java.lang.Enum {
	public static final org.sat4j.minisat.core.SimplificationType NO_SIMPLIFICATION
	public static final org.sat4j.minisat.core.SimplificationType SIMPLE_SIMPLIFICATION
	public static final org.sat4j.minisat.core.SimplificationType EXPENSIVE_SIMPLIFICATION
	private static final org.sat4j.minisat.core.SimplificationType[] ENUM$VALUES
	static void  () 
	private void  (java.lang.String, int) 
	public static org.sat4j.minisat.core.SimplificationType[] values () 
	public static org.sat4j.minisat.core.SimplificationType valueOf (java.lang.String) 
}

org/sat4j/minisat/restarts/MiniSATRestarts.class
MiniSATRestarts.java
package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.MiniSATRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private double nofConflicts
	private org.sat4j.minisat.core.SearchParams params
	private int conflictcount
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams theParams
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
	public boolean shouldRestart () 
	public void onBackjumpToRootLevel () 
	public void reset () 
	public void newConflict () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
}

org/sat4j/minisat/restarts/ArminRestarts.class
ArminRestarts.java
package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.ArminRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private double inner
	private double outer
	private long conflicts
	private org.sat4j.minisat.core.SearchParams params
	private long conflictcount
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams theParams
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
	public boolean shouldRestart () 
	public void onBackjumpToRootLevel () 
	public void reset () 
	public void newConflict () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
}

org/sat4j/minisat/restarts/package-info.class
package-info.java
package org.sat4j.minisat.restarts
abstract org.sat4j.minisat.restarts.package-info extends java.lang.Object {
}

org/sat4j/minisat/restarts/LubyRestarts.class
LubyRestarts.java
package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.LubyRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	public static final int DEFAULT_LUBY_FACTOR
	private static final long serialVersionUID
	private int un
	private int vn
	private int factor
	private int bound
	private int conflictcount
	public int luby () 
	public int nextLuby () 
	public void  () 
	public void  (int) 
		int factor
	public void setFactor (int) 
		int factor
	public int getFactor () 
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
	public boolean shouldRestart () 
	public void onBackjumpToRootLevel () 
	public void reset () 
	public void newConflict () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
}

org/sat4j/minisat/restarts/FixedPeriodRestarts.class
FixedPeriodRestarts.java
package org.sat4j.minisat.restarts
public org.sat4j.minisat.restarts.FixedPeriodRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private long conflictCount
	private long period
	public void  () 
	public void reset () 
	public void newConflict () 
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public boolean shouldRestart () 
	public void onRestart () 
	public void onBackjumpToRootLevel () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
	public long getPeriod () 
	public void setPeriod (long) 
		long period
	public java.lang.String toString () 
}

org/sat4j/minisat/restarts/NoRestarts.class
NoRestarts.java
package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.NoRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public void reset () 
	public void newConflict () 
	public boolean shouldRestart () 
	public void onBackjumpToRootLevel () 
	public java.lang.String toString () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
}

org/sat4j/minisat/restarts/Glucose21Restarts.class
Glucose21Restarts.java
package org.sat4j.minisat.restarts
public org.sat4j.minisat.restarts.Glucose21Restarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.CircularBuffer bufferLBD
	private final org.sat4j.minisat.core.CircularBuffer bufferTrail
	private long sumOfAllLBD
	private org.sat4j.minisat.core.SolverStats stats
	public void  () 
	public void reset () 
	public void newConflict () 
	public void newLearnedClause (org.sat4j.minisat.core.Constr, int) 
		org.sat4j.minisat.core.Constr learned
		int trailLevel
		int lbd
	public void init (org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.SolverStats) 
		org.sat4j.minisat.core.SearchParams params
		org.sat4j.minisat.core.SolverStats stats
	public long nextRestartNumberOfConflict () 
	public boolean shouldRestart () 
	public void onRestart () 
	public void onBackjumpToRootLevel () 
	public java.lang.String toString () 
}

org/sat4j/AbstractLauncher$2.class
AbstractLauncher.java
package org.sat4j
 org.sat4j.AbstractLauncher$2 extends java.lang.Thread {
	final org.sat4j.AbstractLauncher this$0
	void  (org.sat4j.AbstractLauncher) 
	public void run () 
}

org/sat4j/ExitCode.class
ExitCode.java
package org.sat4j
public final org.sat4j.ExitCode extends java.lang.Object {
	public static final org.sat4j.ExitCode OPTIMUM_FOUND
	public static final org.sat4j.ExitCode UPPER_BOUND
	public static final org.sat4j.ExitCode SATISFIABLE
	public static final org.sat4j.ExitCode UNKNOWN
	public static final org.sat4j.ExitCode UNSATISFIABLE
	private final int value
	private final String str
	static void  () 
	private void  (int, java.lang.String) 
		int i
		String str
	public int value () 
	public java.lang.String toString () 
}

plugin.properties
about.html
sat4j.version