This package contains classes for running the Yices tool and collecting the result.