-
Notifications
You must be signed in to change notification settings - Fork 3
/
package.json
42 lines (42 loc) · 892 Bytes
/
package.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
{
"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"
}
}