satisfiable | PropLogicCore, PropLogic |
Seconds | PropLogicTest, PropLogic |
shuffle | PropLogicTest, PropLogic |
SimpleCNF | DefaultPropLogic, PropLogic |
simpleCNF | DefaultPropLogic, PropLogic |
SimpleDNF | DefaultPropLogic, PropLogic |
simpleDNF | DefaultPropLogic, PropLogic |
size | DefaultPropLogic, PropLogic |
SizeTriple | PropLogicTest, PropLogic |
sizeTriple | PropLogicTest, PropLogic |
SJ | PropLogicCore, PropLogic |
SJ_ | PropLogicTest, PropLogic |
spcnf | PropLogicTest, PropLogic |
spcnf' | PropLogicTest, PropLogic |
spdnf | PropLogicTest, PropLogic |
spdnf' | PropLogicTest, PropLogic |
standDeviation | PropLogicTest, PropLogic |
stringToProp | PropLogicCore, PropLogic |
subatomic | PropLogicCore, PropLogic |
subj | PropLogicCore, PropLogic |
subvalent | PropLogicCore, PropLogic |
supElim | PropLogicCore, PropLogic |
supRed | PropLogicCore, PropLogic |