Posts tagged with 'Z3'

Z3 intransitive dice

Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. read more →