{"library":"acl2","install":[{"cmd":"npm install acl2","imports":["const ACL = require('acl2');","const { redisBackend } = require('acl2');","const { mongodbBackend } = require('acl2');","const { memoryBackend } = require('acl2');"]},{"cmd":"yarn add acl2","imports":[]},{"cmd":"pnpm add acl2","imports":[]}]}