for merge
Merge branch 'master' of github.com:GuanyeZheng/EECS579.Project
for merge
for merge
Merge branch 'master' of github.com:GuanyeZheng/EECS579.Project
set default value for isbacktracked in node.h
fix errors in setTrutable for OR/NOR Gate
Merge branch 'master' of github.com:GuanyeZheng/EECS579.Project