{
  "name": "z3.js",
  "version": "0.1.0",
  "description": "The Z3 domain solver compiled to JavaScript with Emscripten",
  "author": "Tim Felgentreff <tim.felgentreff@hpi.de>",
  "contributors": [
    {
      "name": "Tim Felgentreff",
      "email": "tim.felgentreff@hpi.de"
    },
    {
      "name": "Stefan Lehmann",
      "email": "stefan.lehmann@hpi.de"
    }
  ],
  "devDependencies": {
    "babelify": "^6.1.3",
    "karma": "^0.13.8",
    "karma-browserify": "^4.3.0",
    "karma-mocha": "^0.2.0",
    "karma-chrome-launcher": "^0.2.0",
    "mocha": "^2.2.5"
  },
  "scripts": {
    "test": "./node_modules/karma/bin/karma start --single-run"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/babelsberg/z3.js"
  },
  "bugs": {
    "url": "https://github.com/babelsberg/z3.js/issues"
  },
  "license": "BSD 3-clause"
}