Some useful python scripts for EECS 598 when using PySAT To run the files in this directory run the "run_iscas2symcnf.sh" and "run_unroll.sh" files. There also exists an example on intaking the CNF format into python, this can be found in "cnf_intake_example.py"