Installer les paquets suivants (sur debian):
apt install bison flex libz3-dev doxygen
DM: https://moodle1.u-bordeaux.fr/pluginfile.php/572549/mod_resource/content/1/DM-part2.pdf Wiki (Z3): https://github.com/Z3Prover/z3/wiki#background https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_a_s_t.html#detailsx