4 ms·Maybe prolog (or other logic programming language) or z3 (or other SAT solver)?by pizza 3y agoMaybe prolog (or other logic programming language) or z3 (or other SAT solver)?