Module smtlib2

Module that contains SMTLib Backend Implementation.

This backend outputs the constraints in standard smt-lib2 format. Hence, any solver that supports this format maybe used to solve for constraints.

Structs

SMTLib2

Enums

EdgeData

Traits

SMTProc

Trait that needs to be implemented in order to support a new solver. SMTProc is short for “SMT Process”.