sci-mathematics/ltsmin
High-performance language-independent model checking tools
Screenshots
-
ltsmin-3.0.2~amd64+gmp +prob +sylvan boost buddy mpi pnml profiler spins test zip
View 
Download 
Browse License: BSD GPL-2+ buddy? ( buddy ) spins? ( Apache-2.0 ) Overlay: eventb-rossi
USE Flags
+gmp
* This flag is undocumented *
+prob
* This flag is undocumented *
+sylvan
* This flag is undocumented *
boost
Global: Enable boost support
buddy
* This flag is undocumented *
mpi
Global: Adds MPI (Message Passing Interface) layer to the apps that support it
pnml
* This flag is undocumented *
profiler
Global: Installs the NVIDIA CUDA visual profiler.
spins
* This flag is undocumented *
test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
zip
Global: Enable ZIP archive support