Add z3 repl

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

c2c8c87

guile-z3/tests
namelast commitdate
basic.scmInitial commitThu Jan 16 02:53:35+0100 2020