| Rat | ToySolver.FourierMotzkin.Core |
| RawModel | ToySolver.Simplex2 |
| rawModel | ToySolver.Simplex2 |
| read | ToySolver.Data.Vec |
| readInt | ToySolver.Internal.TextUtil |
| readUnsignedInteger | ToySolver.Internal.TextUtil |
| realPart | |
| 1 (Function) | ToySolver.Data.Delta |
| 2 (Function) | ToySolver.Data.AlgebraicNumber.Complex |
| realRoots | ToySolver.Data.AlgebraicNumber.Real |
| realRootsEx | ToySolver.Data.AlgebraicNumber.Real |
| reduce | ToySolver.Data.Polynomial |
| reduceGBasis | ToySolver.Data.Polynomial.GroebnerBasis |
| refineIsolatingInterval | ToySolver.Data.AlgebraicNumber.Real |
| Rel | |
| 1 (Type/Class) | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| rel | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| RelOp | |
| 1 (Type/Class) | ToySolver.Data.MIP |
| 2 (Type/Class) | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2 |
| render | |
| 1 (Function) | ToySolver.Text.SDPFile |
| 2 (Function) | ToySolver.Text.GurobiSol |
| 3 (Function) | ToySolver.Text.MPSFile |
| 4 (Function) | ToySolver.Text.LPFile |
| renderSparse | ToySolver.Text.SDPFile |
| resize | ToySolver.Data.Vec |
| resizeCapacity | ToySolver.Data.Vec |
| resizeHeapCapacity | |
| 1 (Function) | ToySolver.Internal.Data.IndexedPriorityQueue |
| 2 (Function) | ToySolver.Internal.Data.PriorityQueue |
| resizeTableCapacity | ToySolver.Internal.Data.IndexedPriorityQueue |
| resizeVarCapacity | ToySolver.SAT |
| RestartStrategy | ToySolver.SAT |
| revForM | ToySolver.Internal.Util |
| revlex | ToySolver.Data.Polynomial |
| revMapM | ToySolver.Internal.Util |
| revSequence | ToySolver.Internal.Util |
| rootAdd | ToySolver.Data.AlgebraicNumber.Root |
| rootIndex | ToySolver.Data.AlgebraicNumber.Real |
| rootMul | ToySolver.Data.AlgebraicNumber.Root |
| rootNthRoot | ToySolver.Data.AlgebraicNumber.Root |
| RootOf | ToySolver.CAD |
| rootRecip | ToySolver.Data.AlgebraicNumber.Root |
| rootScale | ToySolver.Data.AlgebraicNumber.Root |
| rootShift | ToySolver.Data.AlgebraicNumber.Root |
| rootSimpPoly | ToySolver.Data.AlgebraicNumber.Root |
| Row | ToySolver.Simplex |
| RowIndex | ToySolver.Simplex |
| runProcessWithOutputCallback | ToySolver.Internal.ProcessUtil |