Module rustproof_libsmt::backends

Modules

backend	Module that defines traits that need to be implemented, as a prerequisite to implement Context, that provies it SMT solver capabilities.
smtlib2	Module that contains SMTLib Backend Implementation.
z3	Struct and methods to interact with the Z3 solver.