This package contains commands that are extensions to SMT-LIB.