This package contains classes that adapt the slicer tool to Bandera tool API.