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

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

A
B
C
D
E
F
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Z
All

Index - S

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