Add a Z3 module

https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp

Lisez d’abord l’exemple Z3 en C++ lié, puis examinez les sources de modules et les points d’entrée existants de ce dépôt afin de déterminer comment Z3 devrait être exposé. Le travail serait considéré comme terminé lorsqu’un module Z3 existerait, mais l’issue ne précise ni les fichiers, ni les tests, ni le périmètre de l’implémentation, ni les critères d’acceptation.

Rédigé par le modèle d'indexation à partir du texte de l'issue.