4 ms·It's constraint-based programming. It's closer to an SAT or old-school AI than anything else.by c3534l 8y agoIt's constraint-based programming. It's closer to an SAT or old-school AI than anything else.