xerocross.vulcan/package.json

A resolution-based propositional logic tool

{
  "name": "xerocross.vulcan",
  "version": "0.4.0",
  "engines": {
    "node": ">=4.0.0"
  },
  "description": "A resolution-based propositional logic tool",
  "main": "vulcan.js",
  "repository": {
    "type": "git",
    "url": "https://github.com/xerocross/xerocross.vulcan.git"
  },
  "keywords": [
    "propositional",
    "logic"
  ],
  "scripts": {
    "test": "npx mocha"
  },
  "author": "Ryan Marcus <ryan@rmarcus.info>",
  "contributors": [
    {
      "name": "David Barsky",
      "email": "me@davidbarsky.com"
    },
    { 
      "name": "Adam Cross"
    }
  ],
  "license": "GPL-3.0",
  "devDependencies": {
    "mocha": "^10.2.0"
  }
}