Add z3 repl

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

c2c8c87

guile-z3/build-aux
namelast commitdate
guile.amAdd z3 replThu Jan 23 21:51:25+0100 2020