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
ChangeLog
commit 470722cc9926440c82255d5aa541d1e564469cc2
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 15:18:42 2026 +0400
sci-mathematics/ltsmin: enable optional Sylvan backend by default
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 23075d935a14c9794476c3747411d06b43515e10
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 09:58:05 2026 +0400
sci-mathematics/ltsmin: new package; add 3.0.2
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 15:18:42 2026 +0400
sci-mathematics/ltsmin: enable optional Sylvan backend by default
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 23075d935a14c9794476c3747411d06b43515e10
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 09:58:05 2026 +0400
sci-mathematics/ltsmin: new package; add 3.0.2
Signed-off-by: Denis Efremov <efremov@linux.com>