sci-mathematics/sylvan
Parallel decision diagram library
Screenshots
-
sylvan-1.1.1~amd64test
View 
Download 
Browse License: Apache-2.0 Overlay: eventb-rossi
ChangeLog
commit 2480f1a20780961a68ed9eef795a19e41ef807f6
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 15:08:07 2026 +0400
sci-mathematics/sylvan: new package, add 1.1.1
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 15:08:07 2026 +0400
sci-mathematics/sylvan: new package, add 1.1.1
Signed-off-by: Denis Efremov <efremov@linux.com>