Toxaris/variational — Issue #12: Add proper CLI interface.
Author: Toxaris
Created: 2011-11-24 10:24:19+00:00
State: open

The `VisualizeBDD` program would benefit from a more systematic CLI interface, e.g., proper option handling; I/O via files instead of stdin and stdout; etc.

Need to figure out how to do that conveniently in Scala.