« Back
The Z3 Theorem Prover
github.com
Submitted 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