Several self-tests of SMT, to be run with JUnit. This package is not necessary to use SMT in any way