3 ms·Thanks for the insight. On another note, I already have code to reduce SAT instances to HCP.by hamcycle 11y agoThanks for the insight. On another note, I already have code to reduce SAT instances to HCP.