| walksat | ToySolver.SAT.Solver.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 |
| 2 (Data Constructor) | ToySolver.FileFormat.CNF |
| wcnfClauses | ToySolver.FileFormat.CNF |
| wcnfNumClauses | ToySolver.FileFormat.CNF |
| wcnfNumVars | ToySolver.FileFormat.CNF |
| wcnfTopCost | ToySolver.FileFormat.CNF |
| 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 |
| WeightedClause | ToySolver.FileFormat.CNF |
| width | ToySolver.BitVector.Base, ToySolver.BitVector |
| WithFastParser | |
| 1 (Type/Class) | ToySolver.FileFormat |
| 2 (Data Constructor) | ToySolver.FileFormat |
| withVArgs | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| write | ToySolver.Internal.Data.Vec |
| writeDataFile | ToySolver.Text.SDPFile |
| writeFile | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| writeIOURef | ToySolver.Internal.Data.IOURef |