GitHub repository: stanford-oval/node-cvc4
Primary language: C++
Description: Node.js wrappers for CVC4