Christopher Villalobos
Results
1
issues of
Christopher Villalobos
There is an equality check for SW(1) and SAT(1) on line 188, but there is no equality check on line 202. We have run into instances where SAT(1) == SW(1)...