2 ms·Interesting! Although I realize I might actually be looking for a SAT solver suggester than what I said.by worldsayshi 4y agoInteresting! Although I realize I might actually be looking for a SAT solver suggester than what I said.