4 ms·We did use a library for the SAT solving. Hmm didn't think of that though.by brian_herman 9y agoWe did use a library for the SAT solving. Hmm didn't think of that though.