Constant Field Values


Contents
org.sat4j.*

org.sat4j.sat.SimplifierCommandComponent
public static final String SIMPLIFICATION_EXPENSIVE "Expensive reason simplification"
public static final String SIMPLIFICATION_NO "No reason simplification"
public static final String SIMPLIFICATION_SIMPLE "Simple reason simplification"

org.sat4j.sat.Solvers
public static final String LEARNING "LEARNING"
public static final String ORDERS "ORDERS"
public static final String PARAMS "PARAMS"
public static final String PHASE "PHASE"
public static final String RESTARTS "RESTARTS"
public static final String SIMP "SIMP"

org.sat4j.sat.VerySimpleCommandPanel
public static final String CLEAN "Clean"
public static final String RESTART "Restart"



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.