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 |