3 ms·Or he wrote a constraint satisfaction resolver maybeby lloydatkinson 4y agoOr he wrote a constraint satisfaction resolver maybe