oRatio is an Integrated Logic and Constraint based solver
C++
3
1
Apache License 2.0
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
riccardodebenedictis
275 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet