{"library":"z3js","install":[{"cmd":"npm install z3js","imports":["import { jsParser } from 'z3js'","const { toSMT2 } = require('z3js')","const { declareDatatypes } = require('z3js')"]},{"cmd":"yarn add z3js","imports":[]},{"cmd":"pnpm add z3js","imports":[]}]}