Node.js wrappers for CVC4
C++
0
3
MIT License
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of stanford-oval/node-cvc4
takes json-cov output into stdin and POSTs to coveralls.io
the Istanbul command line interface
Helper module for loading your native module's .node file
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
Top contributors
gcampax
24 contributions
![dependabot-preview[bot]'s profile](https://avatars.githubusercontent.com/dependabot-preview[bot])
dependabot-preview[bot]
21 contributions
![greenkeeper[bot]'s profile](https://avatars.githubusercontent.com/greenkeeper[bot])
greenkeeper[bot]
10 contributions
![dependabot[bot]'s profile](https://avatars.githubusercontent.com/dependabot[bot])
dependabot[bot]
7 contributions
wmww
1 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet