Interactive BDD Environment software is a user-friendly command-line tool designed to simplify work with ROBDDs (Reduced Ordered Binary Decision Diagrams).
IBEN allows users to enter expressions directly and view the output as a graph, which helps users to better visualize their data. Additionally, the program supports a variety of features, including the ability to ask questions about the ROBDD, such as the number of nodes in the graph.
To use this software, users need to have AFPL Ghostscript and graphviz installed on their system. These are both recommended for optimal performance.
Recent upgrades to the software include an upgrade to the buddy version 2.2, as well as a new man page to help users get started with the software. Overall, IBEN is a great choice for anyone looking for an intuitive and user-friendly way to work with ROBDDs.
Version 1.1: N/A