A SAT-Based cell router. This was a project for a master course.
Go to the data folder to see how input datasets should be formatted.
You need to have Minisat ( http://minisat.se/ ) and PBLib ( http://tools.computational-logic.org/content/pblib.php ).
make all
python solver.py data/thx
This browser does not support PDFs. Please download the PDF to view it: Download PDF.