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
Runtime Dependencies
ltsmin-3.0.2
dev-libs/popt
virtual/zlib
gmp?
( dev-libs/gmp:= )
mpi?
( virtual/mpi )
pnml?
( dev-libs/libxml2:2= )
prob?
( net-libs/czmq:= )
profiler?
( dev-util/google-perftools:=[-minimal] )
sylvan?
( >=sci-mathematics/sylvan-1.1 <sci-mathematics/sylvan-1.2 )
zip?
( dev-libs/libzip:= )
spins?
( sys-devel/gcc >=virtual/jre-1.8:* )
>=dev-java/java-config-2.2.0-r3
virtual/zlib
gmp?
( dev-libs/gmp:= )
mpi?
( virtual/mpi )
pnml?
( dev-libs/libxml2:2= )
prob?
( net-libs/czmq:= )
profiler?
( dev-util/google-perftools:=[-minimal] )
sylvan?
( >=sci-mathematics/sylvan-1.1 <sci-mathematics/sylvan-1.2 )
zip?
( dev-libs/libzip:= )
spins?
( sys-devel/gcc >=virtual/jre-1.8:* )
>=dev-java/java-config-2.2.0-r3