❤
npm
Sign UpSign In

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

Repository

github.com/stanford-oval/node-cvc4

Homepage

github.com/stanford-oval/node-cvc4#readme

Weekly Downloads

1

Version

0.1.2

License

MIT

Unpacked Size

15.8 kB

Total Files

15

Last publish

Collaborators

  • gcampax
Try on RunKit
Report malware