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

Index - C

CanonPerformancePropLogicTest, PropLogic
CaseSymbolFastPropLogic, PropLogic
caseSymbolFastPropLogic, PropLogic
CJPropLogicCore, PropLogic
CJ_PropLogicTest, PropLogic
CNFDefaultPropLogic, PropLogic
cnfToValuatorListDefaultPropLogic, PropLogic
coatomicPropLogicCore, PropLogic
conjPropLogicCore, PropLogic
contradictoryPropLogicCore, PropLogic
coprimeValuatorsDefaultPropLogic, PropLogic
correctMultiTruthTableDefaultPropLogic, PropLogic
correctTruthTableDefaultPropLogic, PropLogic
correctValuatorDefaultPropLogic, PropLogic
covalentPropLogicCore, PropLogic
cPrimeFastPropLogic, PropLogic
cPrimesFastPropLogic, PropLogic