Module backend

Module that defines traits that need to be implemented, as a prerequisite to implement Context, that provies it SMT solver capabilities.

Enums

SMTError

SMTRes

Traits

Logic

SMTBackend

Trait a backend should implement to support SMT solving.

SMTNode

Type Aliases

SMTResult