Gentoo Packages

sci-mathematics/eventb-animate: Enable LTSmin model checking with either the bundled or system ProB kernel
sci-mathematics/prob-bin: Install LTSmin model-checking support and make it discoverable by ProB
sci-mathematics/prob2-ui: Enable LTSmin model checking through the system ProB kernel

Warning: USE flag 'ltsmin' is used in ebuilds/metadata but is not defined in profiles/use.desc

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/eventb-animate	-	Enable LTSmin model checking with either the bundled or system ProB kernel
sci-mathematics/prob-bin	-	Install LTSmin model-checking support and make it discoverable by ProB
sci-mathematics/prob2-ui	-	Enable LTSmin model checking through the system ProB kernel

USE Flag: ltsmin