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