The Z3 Theorem Prover

(github.com)

34 points | by benoitg 2 days ago ago

2 comments

  • sagacity a day ago ago

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

    [-]
    • w3dg a day ago ago

      Haha exactly