Index - S
| Sat | Funsat.Types, Funsat.Solver |
| SatError | Funsat.Solver |
| Setlike | Funsat.Types |
| Shared | |
| 1 (Type/Class) | Funsat.Circuit |
| 2 (Data Constructor) | Funsat.Circuit |
| shareGraph | Funsat.Circuit |
| showAssignment | Funsat.Types |
| ShowWrapped | Funsat.Solver |
| simplifyTree | Funsat.Circuit |
| Solution | Funsat.Types, Funsat.Solver |
| solve | Funsat.Solver |
| solve1 | Funsat.Solver |
| SSTErrMonad | Funsat.Monad |
| Stats | |
| 1 (Type/Class) | Funsat.Solver |
| 2 (Data Constructor) | Funsat.Solver |
| statsAvgLearntLen | Funsat.Solver |
| statsNumConfl | Funsat.Solver |
| statsNumConflTotal | Funsat.Solver |
| statsNumDecisions | Funsat.Solver |
| statsNumImpl | Funsat.Solver |
| statsNumLearnt | Funsat.Solver |
| statSummary | Funsat.Solver |
| statTable | Funsat.Solver |
| statusUnder | Funsat.Types |