title: Binary Decision Diagram library for windows
body: <p>After trying to get <a href="http://www.jossowski.de/projects/jinc/jinc.html" rel="nofollow noreferrer">jinc</a> compiled under windows and quickly running into hundreds of compiler errors I'm looking for a quality BDD library that will build for windows. Preferably in C or C++ but as long as I can bind to it I'm happy.</p>