Giters

vmikhav / liBDD

LiBDD is a multi-platform Binary Decision Diagrams package.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

decision-diagramsrobdd

liBDD

LiBDD is a multi-platform Binary Decision Diagrams package.

About

LiBDD is a multi-platform Binary Decision Diagrams package.

decision-diagramsrobdd

License:BSD 2-Clause "Simplified" License

Languages

Language:C 100.0%