The Z3 Theorem Prover

(github.com)

34 points | by benoitg 5 days ago ago

2 comments

  • sagacity 5 days ago

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

    [-]
    • w3dg 5 days ago

      Haha exactly