2-sat
Version:
37 lines (36 loc) • 673 B
JSON
{
"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"
}
}