PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.

Index - S

satisfiablePropLogicCore, PropLogic
SecondsPropLogicTest, PropLogic
shufflePropLogicTest, PropLogic
SimpleCNFDefaultPropLogic, PropLogic
simpleCNFDefaultPropLogic, PropLogic
SimpleDNFDefaultPropLogic, PropLogic
simpleDNFDefaultPropLogic, PropLogic
sizeDefaultPropLogic, PropLogic
SizeTriplePropLogicTest, PropLogic
sizeTriplePropLogicTest, PropLogic
SJPropLogicCore, PropLogic
SJ_PropLogicTest, PropLogic
spcnfPropLogicTest, PropLogic
spcnf'PropLogicTest, PropLogic
spdnfPropLogicTest, PropLogic
spdnf'PropLogicTest, PropLogic
standDeviationPropLogicTest, PropLogic
stringToPropPropLogicCore, PropLogic
subatomicPropLogicCore, PropLogic
subjPropLogicCore, PropLogic
subvalentPropLogicCore, PropLogic
supElimPropLogicCore, PropLogic
supRedPropLogicCore, PropLogic