{
  "name": "@cannorin/kripke",
  "version": "0.0.1",
  "private": true,
  "exports": {
    ".": "./src/index.ts",
    "./syntax": "./src/syntax.ts",
    "./semantics": "./src/semantics.ts",
    "./parser": "./src/parser.ts",
    "./sat": "./src/sat.ts"
  },
  "scripts": {
    "build": "tsc",
    "lint": "biome check",
    "fix": "biome check --fix",
    "test": "vitest"
  },
  "devDependencies": {
    "typescript": "5.7.3",
    "vitest": "3.2.4"
  },
  "dependencies": {
    "@cannorin/utils": "workspace:*",
    "typescript-parsec": "0.3.4"
  }
}