| qbf2ipc | ToySolver.Converter.QBF2IPC, ToySolver.Converter |
| QDimacs | |
| 1 (Type/Class) | ToySolver.FileFormat.CNF |
| 2 (Data Constructor) | ToySolver.FileFormat.CNF |
| qdimacsMatrix | ToySolver.FileFormat.CNF |
| qdimacsNumClauses | ToySolver.FileFormat.CNF |
| qdimacsNumVars | ToySolver.FileFormat.CNF |
| qdimacsPrefix | ToySolver.FileFormat.CNF |
| QFFormula | |
| 1 (Type/Class) | ToySolver.Arith.VirtualSubstitution |
| 2 (Type/Class) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| quadratizePB | ToySolver.Converter.PB, ToySolver.Converter |
| quadratizePB' | ToySolver.Converter.PB, ToySolver.Converter |
| Quantifier | ToySolver.FileFormat.CNF, ToySolver.QBF |
| quantifyFreeVariables | ToySolver.QBF |
| QuantSet | ToySolver.FileFormat.CNF |
| qubo2ising | ToySolver.Converter.QUBO, ToySolver.Converter |
| QUBO2IsingInfo | |
| 1 (Type/Class) | ToySolver.Converter.QUBO, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.QUBO, ToySolver.Converter |
| qubo2pb | ToySolver.Converter.QUBO, ToySolver.Converter |
| QUBO2PBInfo | |
| 1 (Type/Class) | ToySolver.Converter.QUBO, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.QUBO, ToySolver.Converter |
| quboMatrix | ToySolver.QUBO |
| quboNumVars | ToySolver.QUBO |
| QueueSize | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.PriorityQueue, ToySolver.Internal.Data.IndexedPriorityQueue |
| queueSize | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.PriorityQueue, ToySolver.Internal.Data.IndexedPriorityQueue |
| QuickXplain | ToySolver.SAT.MUS |