Add z3 repl

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

README.md: Fix typo in example code.

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

Initial commit

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