Circuit Layout Verification code for MIT 6.006 Fall 2011 PS3 The code distribution contains the following files: * circuit2.py - implementation of the circuit verifier * circuit2.rb - Ruby implementation of the circuit verifier * circuit2_test.rb - unit test for circuit2.py * good_trace.jsonp - trace for the sweep-line algorithm on the 6.006 logo test * test/*.in - circuit verifier test inputs * test/*.gold - outputs that we believe to be correct for the test inputs * visualizer/bin/visualizer.html - visualizes the simulator output * visualizer/README.txt - Readme for the visualizer source code * visualizer/* - visualizer source code DEPENDENCIES circuit2.py has been tested on Python 2.7, Python 3.2, and PyPy 1.5.