{
  "name": "relational-lisp-synthesis",
  "version": "1.0.0",
  "type": "module",
  "description": "End-to-end relational Lisp synthesis with miniKanren + Z3 + Lean4",
  "main": "refine-eval-append.mjs",
  "scripts": {
    "synth": "node refine-eval-append.mjs --verbose"
  },
  "dependencies": {
    "crypto": "^1.0.1",
    "tweetnacl": "^1.0.3",
    "z3-solver": "^4.12.2"
  }
}