satisfiabilityApplet.tauTautology
Classes 
Driver
Gate
Generator
Grid
IthCircuit
LOutputsCircuits
MajorityGateAlgorithm
MajorityGateAlgorithmWithInts
Subcircuit