The Z3 Theorem Prover

2 comments

• sagacity 5 days ago

  Ah, looks like the submitter has been participating in Advent Of Code.

  [-]
  • w3dg 5 days ago

    Haha exactly