GitHub repository: stanford-oval/node-smtlib
Primary language: TypeScript
Description: Node.js wrappers for SMT-Lib 2.0