sci-mathematics/cudd
Colorado University binary Decision Diagram library
Screenshots
View
Download
BrowseChangeLog
commit 1bf2c8bd4bc9e0b30ebc9f7b6b4e50232148661e
Author: Huang Rui <vowstar@gmail.com>
Date: Tue Dec 16 19:58:06 2025 +0800
sci-mathematics/cudd: new package, add 3.0.0-r1
Signed-off-by: Huang Rui <vowstar@gmail.com>
Author: Huang Rui <vowstar@gmail.com>
Date: Tue Dec 16 19:58:06 2025 +0800
sci-mathematics/cudd: new package, add 3.0.0-r1
Signed-off-by: Huang Rui <vowstar@gmail.com>