Giters

heshanpadmasiri / bddVisualizer

Repository from Github https://github.comheshanpadmasiri/bddVisualizerRepository from Github https://github.comheshanpadmasiri/bddVisualizer

How to use this

  1. Ge the string representation of the BDD using bddToString method and save it to a file.
  2. Run bal run -- <file with string repr> to generate the code for graphviz.
  3. You can either pipe the output to a local installation of graphviz or pass use an online graph generator such as this

About

Languages

Language:Ballerina 100.0%