6 ms·The Z3 Theorem Prover35 points by benoitg 9mo agosagacity 9mo agoAh, looks like the submitter has been participating in Advent Of Code.w3dg 9mo agoHaha exactly