package.json

{
  "name": "tutorial",
  "version": "1.0.0",
  "description": "Run Z3 in browser using WebAssembly",
  "source": "src/guide.html",
  "scripts": {
    "start": "rm -rf dist && mkdir dist && cp node_modules/z3-solver/build/z3-built.* dist && parcel",
    "build": "rm -rf dist && mkdir dist && cp node_modules/z3-solver/build/z3-built.* dist && parcel build --public-url=/tutorial"
  },
  "prettier": {
    "printWidth": 120
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/z3prover/doc.git"
  },
  "author": "ViRb3, Ayanamonr, NikolajBjorner",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/z3prover/z3/issues"
  },
  "homepage": "https://github.com/z3prover/z3/readme.md",
  "devDependencies": {
    "buffer": "^6.0.3",
    "coi-serviceworker": "^0.1.6",
    "crypto-browserify": "^3.12.0",
    "events": "^3.3.0",
    "parcel": "^2.5.0",
    "path-browserify": "^1.0.1",
    "process": "^0.11.10",
    "stream-browserify": "^3.0.0"
  },
  "dependencies": {
    "madoko-local": "^0.9.4",
    "z3-solver": "^4.8.17"
  }
}