The package de.uni_luebeck.isp.rvtool.rvlib.util contains all classes necessary for logic.