{
  "name": "ukb",
  "version": "1.2.1",
  "description": "Equational reasoning based on the unfailing Knuth-Bendix completion procedure",
  "engines": {
    "node": ">=10.23"
  },
  "main": "index.js",
  "devDependencies": {
     "mocha": ">= 8.2"
   },
  "scripts": {
    "test": "mocha tests/test*.js"
  },
  "keywords": [
    "equations",
    "reasoning",
    "Knuth-Bendix",
    "completion",
    "rewriting"
  ],
  "author": "Matthias Fuchs",
  "license": "MIT"
}