Add z3 repl

Julien LepillerThu Jan 23 21:51:25+0100 2020

c2c8c87

README.md: Fix typo in example code.

Julien LepillerThu Jan 16 05:12:43+0100 2020

47871e1

Initial commit

Julien LepillerThu Jan 16 02:53:35+0100 2020

9e70c64