This package contains utility classes for manipulating and accessing the model of the Yices tool.