Package satisfiabilityApplet.tauTautology

Class Summary
Driver by Catherine Block id# 6319 Date: Nov 13, 2004 Time: 10:31:12 AM CS 180H
Gate by Catherine Block id# 6319 Date: Dec 6, 2004 Time: 5:39:13 PM CS 180H
Generator by Catherine Block id# 6319 Date: Dec 17, 2004 Time: 3:44:33 PM CS 180H
Grid by Catherine Block id# 6319 Date: Nov 13, 2004 Time: 10:31:01 AM CS 180H
IthCircuit by Catherine Block id# 6319 Date: Nov 16, 2004 Time: 5:16:31 PM CS 180H
LOutputsCircuits by Catherine Block id# 6319 Date: Nov 13, 2004 Time: 10:30:47 AM CS 180H
MajorityGateAlgorithm by Catherine Block id# 6319 Date: Dec 6, 2004 Time: 4:40:01 PM CS 180H Adds up binary numbers
MajorityGateAlgorithmWithInts by Catherine Block id# 6319 Date: Dec 6, 2004 Time: 4:40:01 PM CS 180H This is a test version just to see if I've coded the algorithm correctly Output will be lpadded with zeros to the closest higher power of 2
Subcircuit by Catherine Block id# 6319 Date: Dec 6, 2004 Time: 5:35:39 PM CS 180H For majority gate, only takes 2 inputs A Subcircuit is either a single variable input or a variable representing a nested subcircuit