Index - S
| satisfiable | PropLogicCore, PropLogic |
| Seconds | PropLogicTest, PropLogic |
| shuffle | PropLogicTest, PropLogic |
| SimpleCNF | DefaultPropLogic, PropLogic |
| simpleCNF | DefaultPropLogic, PropLogic |
| SimpleDNF | DefaultPropLogic, PropLogic |
| simpleDNF | DefaultPropLogic, PropLogic |
| singleton | Costack |
| size | DefaultPropLogic, PropLogic |
| SizeTriple | PropLogicTest, PropLogic |
| sizeTriple | PropLogicTest, PropLogic |
| SJ | PropLogicCore, PropLogic |
| SJ_ | PropLogicTest, PropLogic |
| sort | Costack |
| sorted | Costack |
| spcnf | PropLogicTest, PropLogic |
| spcnf' | PropLogicTest, PropLogic |
| spdnf | PropLogicTest, PropLogic |
| spdnf' | PropLogicTest, PropLogic |
| standDeviation | PropLogicTest, PropLogic |
| strictSort | Costack |
| strictSorted | Costack |
| stringToProp | PropLogicCore, PropLogic |
| subatomic | PropLogicCore, PropLogic |
| subj | PropLogicCore, PropLogic |
| subvalent | PropLogicCore, PropLogic |
| supElim | PropLogicCore, PropLogic |
| supRed | PropLogicCore, PropLogic |