cvc4

0.1.2 • Public • Published

node-cvc4: CVC4 bindings for Node.js

Build Status Coverage Status Dependency Status Greenkeeper badge

This package lets you use the CVC4 solver from a node.js application.

Readme

Keywords

none

Package Sidebar

Install

npm i cvc4

Weekly Downloads

1

Version

0.1.2

License

MIT

Unpacked Size

15.8 kB

Total Files

15

Last publish

Collaborators

  • gcampax