Bner freeware
Bner
Added: August 17, 2013 | Visits: 184
The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as...
Platforms: Mac
License: Freeware | Size: 2.23 MB | Download (36): PolyBoRi Download |