Index - S
| SAT | |
| 1 (Type/Class) | Satchmo.SAT.External |
| 2 (Type/Class) | Satchmo.SAT.Mini |
| 3 (Type/Class) | Satchmo.SAT.Tmpfile, Satchmo.SAT |
| sat | Satchmo.SAT.Tmpfile, Satchmo.SAT |
| select | |
| 1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| Set | Satchmo.Set.Data, Satchmo.Set |
| shift | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| sign | Satchmo.Integer |
| size | Satchmo.Data |
| solve | |
| 1 (Function) | Satchmo.SAT.External |
| 2 (Function) | Satchmo.SAT.Mini |
| SolveOptions | |
| 1 (Type/Class) | Satchmo.SAT.Mini |
| 2 (Data Constructor) | Satchmo.SAT.Mini |
| solveSilently | Satchmo.SAT.Mini |
| solveWith | Satchmo.SAT.Mini |
| solve_with_timeout | Satchmo.SAT.Mini |
| strictlyMonotone | Satchmo.PolynomialSOS |
| sub | Satchmo.Integer |
| subtract | |
| 1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 2 (Function) | Satchmo.Polynomial |
| symmetric | Satchmo.Relation.Prop, Satchmo.Relation |
| symmetric_relation | Satchmo.Relation.Data, Satchmo.Relation |