bdd implementations in Java
===

Anyone has suggestions for BDD (binary decision diagrams) implementations in Java (or one that provides Java bindings)? I found this page online: http://www.mancoosi.org/~abate/avalaible-bdd-libraries but not sure if it is out of date. Or does it make sense to just use a Prolog implementation?