smtlib

Module theories

Source
Expand description

Theories in SMT-LIB are definitions of sorts and in general functions present in the logics.

Modulesยง

arrays_ex
core
fixed_size_bit_vectors
ints
reals