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