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"

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
README.md		README.md
cnf_intake_example.py		cnf_intake_example.py
demo2.isc		demo2.isc
demo2.py		demo2.py
iscas2symcnf		iscas2symcnf
output_test.isc		output_test.isc
parser.py		parser.py
parser.pyc		parser.pyc
run.sh		run.sh
run_iscas2symcnf.sh		run_iscas2symcnf.sh
run_unroll.sh		run_unroll.sh
s27.isc		s27.isc
test_out.cnf		test_out.cnf
unroll		unroll
unroll.py		unroll.py
unroll_isc		unroll_isc

Provide feedback