Symbolic model checker using binary decision diagrams to represent boolean functions

Test the example models under test/models:

$ node index.js test/models/example-eu.smv