logic-solver-plus
Version:
A fork of logic-solver that is compiled to wasm instead of JS with additional features
35 lines (34 loc) • 824 B
JSON
{
"name": "logic-solver-plus",
"version": "0.2.0",
"description": "A fork of logic-solver that is compiled to wasm instead of JS with additional features ",
"keywords": [
"solver",
"sat-solver",
"logic",
"constraint-solver",
"constraint-programming",
"logic-solver",
"minisat"
],
"homepage": "https://github.com/arfelious/logic-solver-plus#readme",
"bugs": {
"url": "https://github.com/arfelious/logic-solver-plus/issues"
},
"repository": {
"type": "git",
"url": "git+https://github.com/arfelious/logic-solver-plus.git"
},
"license": "MIT",
"author": "arfelious",
"exports": {
".": {
"require": "./index.cjs",
"import": "./index.mjs",
"types": "./index.d.ts"
}
},
"scripts": {
"test": "node test.mjs && node test.cjs"
}
}