Node.js wrappers for SMT-Lib 2.0
TypeScript
11
3
MIT License
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
![dependabot-preview[bot]'s profile](https://avatars.githubusercontent.com/dependabot-preview[bot])
dependabot-preview[bot]
247 contributions
![dependabot[bot]'s profile](https://avatars.githubusercontent.com/dependabot[bot])
dependabot[bot]
53 contributions
gcampax
35 contributions
![greenkeeper[bot]'s profile](https://avatars.githubusercontent.com/greenkeeper[bot])
greenkeeper[bot]
10 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet
