vulcan
Version:
A resolution-based propositional logic tool
30 lines (29 loc) • 596 B
JSON
{
"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"
}
}