Solving Einstein's Fish riddle with the Z3 theorem prover.
-
Updated
May 26, 2024 - SMT
Solving Einstein's Fish riddle with the Z3 theorem prover.
Add a description, image, and links to the z3 topic page so that developers can more easily learn about it.
To associate your repository with the z3 topic, visit your repo's landing page and select "manage topics."