UNPKG

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
{ "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" } }