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
Bugs
| Bug # | Severity | Platform | Status | Description |
|---|
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title,
to do a more through search please visit: http://bugs.gentoo.org.