A C D G H L M N O P R S U W

S

setCost(int, int) - Method in class org.sat4j.maxsat.MinCostDecorator

to set the cost of a given var.

setExpectedNumberOfClauses(int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

setTopWeight(int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

SolverFactory - Class in org.sat4j.maxsat

SolverFactory() - Constructor for class org.sat4j.maxsat.SolverFactory