/Einstein-Riddle-Z3

Solving Einstein's Fish riddle with the Z3 theorem prover.

Primary LanguageSMT

Watchers