| walksat | ToySolver.SAT.SLS.ProbSAT |
| wbo2ip | ToySolver.Converter.PB2IP, ToySolver.Converter |
| WBO2IPInfo | ToySolver.Converter.PB2IP, ToySolver.Converter |
| wbo2lsp | ToySolver.Converter.PB2LSP, ToySolver.Converter |
| wbo2maxsat | ToySolver.Converter.PB, ToySolver.Converter |
| WBO2MaxSATInfo | ToySolver.Converter.PB, ToySolver.Converter |
| wbo2pb | ToySolver.Converter.PB, ToySolver.Converter |
| WBO2PBInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| WCNF | |
| 1 (Type/Class) | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| 2 (Data Constructor) | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| wcnfBuilder | ToySolver.Text.WCNF |
| wcnfClauses | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| wcnfNumClauses | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| wcnfNumVars | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| wcnfTopCost | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| Weight | |
| 1 (Type/Class) | ToySolver.Combinatorial.Knapsack.BB |
| 2 (Type/Class) | ToySolver.Combinatorial.Knapsack.DPDense |
| 3 (Type/Class) | ToySolver.Combinatorial.SubsetSum |
| 4 (Type/Class) | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| WeightedClause | ToySolver.FileFormat.CNF, ToySolver.Text.WCNF |
| width | ToySolver.BitVector.Base, ToySolver.BitVector |
| withVArgs | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| write | ToySolver.Internal.Data.Vec |
| writeDataFile | ToySolver.Text.SDPFile |
| writeFile | |
| 1 (Function) | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat, ToySolver.Text.CNF, ToySolver.Text.GCNF, ToySolver.Text.QDimacs, ToySolver.Text.WCNF |
| 2 (Function) | ToySolver.Data.MIP |
| 3 (Function) | ToySolver.Data.MIP.Solution.Gurobi |
| writeIOURef | ToySolver.Internal.Data.IOURef |
| writeLPFile | ToySolver.Data.MIP |
| writeMPSFile | ToySolver.Data.MIP |