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

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 - V

valid	PropLogicCore, PropLogic
validates	DefaultPropLogic, PropLogic
valuate	DefaultPropLogic, PropLogic
Valuator	DefaultPropLogic, PropLogic
valuatorListToCNF	DefaultPropLogic, PropLogic
valuatorListToDNF	DefaultPropLogic, PropLogic
valuatorToNLC	DefaultPropLogic, PropLogic
valuatorToNLD	DefaultPropLogic, PropLogic
Verbose	PropLogicTest, PropLogic
verboseRandomPrimeTest	PropLogicTest, PropLogic
verboseRandomPrimeTesting	PropLogicTest, PropLogic
volume	FastPropLogic, PropLogic