problem-set/circuits/intchg_val.desc Natural Language Description: The files beginning with intchg_val concern the validation of a circuit which takes as input x and y and outputs y and x without crossing any wires. Versions: intchg_val.ver1 - The clauses include the 1nput to the circuit and the demodulators required to retrace the flow to validate the circuit. Demodultion is the inference rule. created by: E. Lusk verified for ITP: not yet translated for OTTER: SLM verified for OTTER: not yet