ap.terfor.inequalities.FMInfsComputer
(Since version ) see corresponding Javadoc for more information.