{
  "name": "2-sat",
  "version": "1.0.1",
  "description": "2SAT solver",
  "main": "2sat.js",
  "directories": {
    "test": "test"
  },
  "dependencies": {
    "binary-search-bounds": "^1.0.0",
    "strongly-connected-components": "^1.0.1"
  },
  "devDependencies": {
    "tape": "^2.1.0"
  },
  "scripts": {
    "test": "tape test/*.js"
  },
  "repository": {
    "type": "git",
    "url": "git://github.com/mikolalysenko/2-sat.git"
  },
  "keywords": [
    "2SAT",
    "2",
    "satisfiability",
    "boolean",
    "nl",
    "complete"
  ],
  "author": "Mikola Lysenko",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/mikolalysenko/2-sat/issues"
  }
}