|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| org.sat4j.* |
|---|
| org.sat4j.pb.constraints.pb.MaxWatchPb | ||
|---|---|---|
public static final int |
LIMIT_FOR_MAP |
100 |
| org.sat4j.pb.core.PBSolverCautious | ||
|---|---|---|
public static final int |
BOUND |
10 |
| org.sat4j.pb.core.PBSolverResCP | ||
|---|---|---|
public static final long |
MAXCONFLICTS |
100000L |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||