Semantic-Tableaux-Method-for-Propositional-Logic

# install dependencies
npm install

# start the application
npm start filename.txt (default is "input.txt")