espresso-iisojs/package.json

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

{
  "name": "espresso-iisojs",
  "version": "1.0.8",
  "description": "Implementation of Espresso-II method for heuristic minimization of single output boolean functions",
  "main": "./index.cjs",
  "types": "./index.d.ts",
  "exports": {
    "import": "./index.mjs",
    "require": "./index.cjs",
    "types": "./index.d.ts"
  },
  "files": [
    "index.mjs",
    "index.cjs",
    "index.d.ts"
  ],
  "type": "module",
  "scripts": {
    "test": "esbuild --bundle --platform=node --target=node18 --packages=external --sourcemap=inline test/test.ts | node --enable-source-maps",
    "lint-eslint": "eslint --fix \"src/*.ts\" \"test/*.ts\"",
    "lint-prettier": "prettier --prose-wrap always --write \"src/*.ts\" \"test/*.ts\" README.md",
    "lint-tsc": "tsc --noEmit",
    "lint": "npm run lint-eslint && npm run lint-prettier && npm run lint-tsc",
    "build": "esbuild src/main.ts --bundle --platform=node --target=node12.13.0 --outfile=index.cjs && esbuild src/main.ts --bundle --platform=neutral --outfile=index.mjs"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/genieacs/espresso-iisojs.git"
  },
  "keywords": [
    "logic",
    "sat"
  ],
  "author": "Zaid Abdulla <zaid@genieacs.com>",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/genieacs/espresso-iisojs/issues"
  },
  "homepage": "https://github.com/genieacs/espresso-iisojs#readme",
  "devDependencies": {
    "@rollup/plugin-node-resolve": "^15.0.1",
    "@rollup/plugin-typescript": "^11.0.0",
    "@types/node": "^20.11.20",
    "@typescript-eslint/eslint-plugin": "^7.0.2",
    "@typescript-eslint/parser": "^7.0.2",
    "esbuild": "^0.20.1",
    "eslint": "^8.57.0",
    "eslint-config-prettier": "^9.1.0",
    "prettier": "^3.2.5",
    "typescript": "^5.3.3"
  }
}