This package contains classes for the communication with the Z3 solver, i.e. SMTLIB script is sent to the solver, results are parsed.