An AI based tool mainly created to visualize and analyse Binary Decision Diagrams(BDDs).

The "proplog" folder contains code used for solving simple Propositional Logic formulae. The "templates" folder contains all the HTML files.

To start the server, run the "main.py" file.

We thank Professor G. Sivakumar for providing his guidance throughout the project. Special thanks to Tanel Tammet (tanel.tammet@gmail.com).

Report of the project : https://drive.google.com/open?id=0B5jWW9vNQYU4aVhPaDhFY2lqQ3M