GitHub - SebS19/tech_map_bdd: Tech-Mapping from BLIF to k-feasible BLIF with the help of BDDs

Name		Name	Last commit message	Last commit date
Latest commit History 93 Commits
backup1		backup1
blif_src		blif_src
docs		docs
final_version		final_version
sp6-mapped		sp6-mapped
.gitignore		.gitignore
absp.pla		absp.pla
absp2.pla		absp2.pla
absp_i28.pla		absp_i28.pla
absp_i35.pla		absp_i35.pla
basicfunctions.py		basicfunctions.py
bdd.py		bdd.py
bdd_test.py		bdd_test.py
boolfunction.py		boolfunction.py
boolfunction_test.py		boolfunction_test.py
example_qrbdd_lecture.py		example_qrbdd_lecture.py
main.py		main.py
main2.py		main2.py
pycudd_notes.txt		pycudd_notes.txt