UNPKG

vulcan

Version:

A resolution-based propositional logic tool

30 lines (29 loc) 596 B
{ "name": "vulcan", "version": "0.2.1", "engines": { "node": "^4.0.0" }, "description": "A resolution-based propositional logic tool", "main": "vulcan.js", "repository": { "type": "git", "url": "https://github.com/RyanMarcus/vulcan.git" }, "keywords": [ "propositional", "logic" ], "scripts": { "test": "node_modules/mocha/bin/mocha" }, "author": "Ryan Marcus <ryan@rmarcus.info>", "contributors": [{ "name": "David Barsky", "email": "me@davidbarsky.com" }], "license": "GPL-3.0", "devDependencies": { "mocha": "^2.3.0" } }