picosat/package.json

picosat SAT solver

{
  "name": "picosat",
  "version": "1.2.0",
  "description": "picosat SAT solver",
  "main": "index.js",
  "files": [
    "index.js",
    "lib/*",
    "binding.gyp",
    "index.c"
  ],
  "scripts": {
    "install": "node-gyp-build",
    "test": "node test.js",
    "benchmark": "node benchmark.js"
  },
  "keywords": [
    "picosat",
    "sat-solver",
    "solver",
    "sat"
  ],
  "author": "Dirk Schumacher <mail@dirk-schumacher.de>",
  "contributors": [
    "Jannis R <mail@jannisr.de>"
  ],
  "homepage": "https://github.com/dirkschumacher/nodepicosat",
  "repository": "dirkschumacher/nodepicosat",
  "bugs": "https://github.com/dirkschumacher/nodepicosat/issues",
  "engines": {
    "node": ">=8"
  },
  "license": "MIT",
  "dependencies": {
    "napi-macros": "^1.3.0",
    "node-gyp-build": "^3.2.2"
  },
  "devDependencies": {
    "benchmark": "^2.1.4",
    "tape": "^4.9.0"
  }
}