The ban_sdd package is a Java package implementing the sentential decision diagram framework developed by Adnan Darwiche's team from UCLA. This package comes with no guarantee. Its performance are unknown.
Versions:
Send a bug report