« BackThe Z3 Theorem Provergithub.comSubmitted by benoitg 5 days ago
  • sagacity 5 days ago

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

    • w3dg 5 days ago

      Haha exactly