3 ms·I wonder if there are any real-world factory configurations that employ SAT solving techniques.by j2kun 3y agoI wonder if there are any real-world factory configurations that employ SAT solving techniques.