Module 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.