-
Notifications
You must be signed in to change notification settings - Fork 0
/
package.json
33 lines (33 loc) · 804 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
{
"name": "sat-ts",
"version": "1.0.0",
"author": "David González Martínez",
"description": "Simple SAT solver in TypeScript that implements the DPLL algorithm, powered by Bun runtime.",
"type": "module",
"scripts": {
"test": "bun test",
"sat-ts": "bun run src/main.ts",
"lint": "eslint src/**/*.ts",
"format": "prettier --write src/**/*.ts"
},
"keywords": [
"sat",
"dpll",
"typescript",
"boolean",
"logic",
"ai"
],
"license": "MIT",
"dependencies": {
"commander": "^11.1.0"
},
"devDependencies": {
"bun-types": "^1.0.11",
"@typescript-eslint/eslint-plugin": "^6.13.1",
"@typescript-eslint/parser": "^6.13.1",
"eslint": "^8.55.0",
"eslint-config-prettier": "^9.1.0",
"eslint-plugin-prettier": "^5.0.1"
}
}